De Aller-Bedste Bøger - over 12 mio. danske og engelske 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.
  • 2-3 uger.
  • 2. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: