Udvidet returret til d. 31. januar 2025

Bøger af Allan M. (University College Dublin) Ramsay

Filter
Filter
Sorter efterSorter Populære
  • af Allan M. Ramsay
    474,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.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.