Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Allan M. (University College Dublin) Ramsay

Filter
Filter
Ordnen nachSortieren Beliebt
  • von Allan M. Ramsay
    68,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.