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: 2006
- Edition: 1st
- Publisher: Adobe Press
- Type: Paperback
- ISBN13: 9780321701770
- ISBN: 0321701771
- Year: 2010
- Edition: 1st
- Publisher: Peachpit Press
- Type: DVD-ROM
- ISBN13: 9780321719812
- ISBN: 0321719816
- Year: 2008
- Edition: 2nd
- Publisher: Peachpit Press
- Type: Paperback
- ISBN13: 9780321559678
- ISBN: 0321559673
