2007 - Satisfiability Testing [Synthesis Lectures on Artificial Intelligence and Machine Learning] (Paperback) ISBN-13: 9781598291988 ISBN-10: 159829198X ? 1991 - Reasoning About Plans [Morgan Kaufmann Series in Representation and Reasoning] (Hardcover) ISBN-13: 9781558601376 ISBN-10: 1558601376 Genres: Computers & Technology, Literature & Fiction, Reference ? |