Kontakt
Kako kupovati
Dostava
Savjetnik za kupnju
Automated Model Building
Engleski
373 b
30 dana za povrat kupljenih proizvoda
Kupci su kupili i
/
Meki uvez
94.59
€
/
Meki uvez
37.12
€
/
Meki uvez
20.53
€
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.
Informacije o knjizi
Engleski
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Tvrdi uvez
255.87
€
/
DVD
21.04
€
/
Tvrdi uvez
45.22
€
/
Meki uvez
32.57
€
/
Meki uvez
8.59
€