5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87)
- List Price: $54.99
- 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
FINDING THE BEST PRICES
Related Books
- Year: -0001
- Edition: 8th
- Publisher: Course Technology
- Type: Paperback
- ISBN13: 9780538744959
- ISBN: 0538744952
- Year: 2010
- Edition: 1st
- Publisher: Peachpit Press
- Type: DVD-ROM
- ISBN13: 9780321719812
- ISBN: 0321719816
- Year: 2010
- Edition: 1st
- Publisher: Cengage Learning
- Type: Paperback
- ISBN13: 9781111130664
- ISBN: 1111130663
