De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Bag om Resolution Calculus

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642644733
  • Indbinding:
  • Paperback
  • Sideantal:
  • 300
  • Udgivet:
  • 28. september 2011
  • Udgave:
  • 11997
  • Størrelse:
  • 234x156x16 mm.
  • Vægt:
  • 482 g.
  • 8-11 hverdage.
  • 16. januar 2025

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 Resolution Calculus

The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.

Brugerbedømmelser af Resolution Calculus



Find lignende bøger
Bogen Resolution Calculus findes i følgende kategorier: