Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
Automated Model Building
Angielski
373 b
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
423.34
zł
/
Miękka
158.10
zł
/
Miękka
87.56
zł
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.
Informacje o książce
Angielski
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Twarda
1 088.65
zł
/
DVD
89.38
zł
/
Twarda
192.27
zł
/
Miękka
138.55
zł
/
Miękka
36.37
zł
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?