Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Automated Model Building
Angol
406 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Kemény kötésű
21 669
Ft
/
Puha kötésű
36 136
Ft
/
Puha kötésű
8 188
Ft
/
Puha kötésű
15 253
Ft
/
Puha kötésű
19 475
Ft
/
Puha kötésű
14 500
Ft
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.
Információ a könyvről
Angol
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Kemény kötésű
113 706
Ft
/
Puha kötésű
20 167
Ft
/
Kemény kötésű
18 063
Ft
/
Puha kötésű
3 364
Ft
/
Puha kötésű
12 756
Ft
/
DVD
8 236
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?