Udvidet returret til d. 31. januar 2025

Formal Methods in Artificial Intelligence - Allan M. (University College Dublin) Ramsay - Bog

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.
  • 8-11 hverdage.
  • 7. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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.