Marta Cialdea Mayer,
Fiora Pirri
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Paperback Engels 2003 2003e druk 9783540407874Levertijd ± 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.
The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.
Specificaties
ISBN13:9783540407874
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:270
Uitgever:Springer Berlin Heidelberg
Druk:2003
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan