Bøger af Allan M. (University College Dublin) Ramsay
Filter
Sorter efterSorter
Populære
-
479,95 kr. Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, 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.
- Bog
- 479,95 kr.