Spar
The Resolution Calculus
Forfatter:
heftet, 2011
Engelsk
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.
- Forfatter
- Alexander Leitsch
- Opplag
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9783642644733
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 28.9.2011
- Antall sider
- 300
