Tallenna
The Resolution Calculus
Kirjailija:
nidottu, 2011
englanti
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.
- Kirjailija
- Alexander Leitsch
- Painos
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9783642644733
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.9.2011
- Sivumäärä
- 300
