Spara
The Resolution Calculus
Författare:
häftad, 2011
Engelska
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.
- Författare
- Alexander Leitsch
- Upplaga
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9783642644733
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-09-28
- Sidor
- 300
