Resolution Calculus
- Indbinding:
- Paperback
- Sideantal:
- 300
- Udgivet:
- 28. September 2011
- Udgave:
- 11997
- Størrelse:
- 234x156x16 mm.
- Vægt:
- 482 g.
Leveringstid:
8-11 hverdage
Forventet levering: 4. Oktober 2024
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Resolution Calculus findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621