Kontakt
Jak nakupovat
Doručení
Nákupní rádce
Automated Model Building
Angličtina
353 b
Až 30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
748
Kč
/
Brožovaná
2 403
Kč
/
Brožovaná
674
Kč
/
Brožovaná
874
Kč
/
Brožovaná
469
Kč
This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. §The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence. It can also be used as a textbook in advanced undergraduate courses.
Informace o knize
Angličtina
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovanéhoMohlo by vás také zajímat
/
Pevná
6 941
Kč
/
Brožovaná
725
Kč
/
Pevná
1 052
Kč
/
DVD
482
Kč
Ahoj! Jsem Libroamiko, tvůj knižní rádce.
Jak ti můžu pomoct?