Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
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.
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 15. Oktober 2024

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:

Gør som tusindvis af andre bogelskere

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