5th Conference on Automated Deduction
Subtitle: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science)
Contributors: W. Bibel (Editor); R. Kowalski (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 18, 1980
Language: eng
Format: Paperback
Number of pages: 385
ISBN-13: 9783540100096
Subjects: Logic; Bibel; Künstliche Intelligenz; Mathematics / Logic; Mathematics