
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87)
- List Price: $109.00
- ISBN-10: 3540100091
- ISBN-13: 9783540100096
- Edition: 1980th
- Type: Paperback
- Publisher: Springer
About The Book
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science) [paperback] Bibel, Wolfgang,Kowalski, R.... Read more
Related Books

- Year: 2010
- Edition: 1st
- Publisher: Cengage Learning
- Type: Paperback
- ISBN13: 9781111130664
- ISBN: 1111130663

- Year: -0001
- Edition: 8th
- Publisher: Course Technology
- Type: Paperback
- ISBN13: 9780538744959
- ISBN: 0538744952

- Year: 2003
- Edition: 5th
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780132122702
- ISBN: 0132122707