5th Conference on Automated Deduction Les Arcs France 1980 [Lecture Notes in Computer Science, 87] (Paperback) ISBN-13: 9780387100098 ISBN-10: 0387100091 ? Fundamentals of Artificial Intelligence an Advanced Course [Lecture Notes in Computer Science] (Paperback) ISBN-13: 9780387182650 ISBN-10: 0387182659 ? |