Mohlo by se vám také líbit

Více informací o knize Formal Methods in Artificial Intelligence

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 127 bodů

Anotace knihy

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence

• Plný název: Formal Methods in Artificial Intelligence
• Autor: Allan M. Ramsay
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 292
• EAN: 9780521424219
• ISBN: 0521424216
• ID: 02030414
• Nakladatelství: Cambridge University Press
• Hmotnost: 470 g
• Rozměry: 244 × 170 × 16 mm
• Datum vydání: 26. July 1991

Oblíbené z jiného soudku

---

---

---