De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Resolution Calculus

Resolution Calculus

af Alexander Leitsch

indgår i Texts in Theoretical Computer Science. An EATCS Series serien

Resolution Calculus af Alexander Leitsch
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.

Bag om Alexander Leitsch

Vis alle bøger af Alexander Leitsch

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



Andre købte også..
Find lignende bøger
Bogen Resolution Calculus findes i følgende kategorier: