Take a photo of a barcode or cover
300 pages • missing pub info (view editions)
ISBN/UID: 9783642644733
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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 (view editions)
ISBN/UID: 9783642644733
Format: Paperback
Language: English
Publisher: Springer
Edition Pub 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