Scan barcode
300 pages • missing pub info (editions)
ISBN/UID: 9783642644733
Format: Paperback
Language: English
Publisher: Springer
Publication date: 28 September 2011
Description
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. The challenge of this course (a total of five two-hour lecture...
Community Reviews
Content Warnings
300 pages • missing pub info (editions)
ISBN/UID: 9783642644733
Format: Paperback
Language: English
Publisher: Springer
Publication date: 28 September 2011
Description
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. The challenge of this course (a total of five two-hour lecture...
Community Reviews
Content Warnings