Markedets billigste bøger
Levering: 1 - 2 hverdage
Bag om Formal Methods in Artificial Intelligence

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521424219
  • Indbinding:
  • Paperback
  • Sideantal:
  • 292
  • Udgivet:
  • 26. Juli 1991
  • Størrelse:
  • 170x244x15 mm.
  • Vægt:
  • 470 g.
Leveringstid: 2-3 uger
Forventet levering: 2. Juli 2024

Beskrivelse af Formal Methods in Artificial Intelligence

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.

Brugerbedømmelser af Formal Methods in Artificial Intelligence



Find lignende bøger
Bogen Formal Methods in Artificial Intelligence findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

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