5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87)

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

FINDING THE BEST PRICES

Related Books

Adobe Dreamweaver CS5 Revealed
  • Year: 2010
  • Edition: 1st
  • Publisher: Cengage Learning
  • Type: Paperback
  • ISBN13: 9781111130664
  • ISBN: 1111130663
New Perspectives on the Internet: Comprehensive...
  • Year: -0001
  • Edition: 8th
  • Publisher: Course Technology
  • Type: Paperback
  • ISBN13: 9780538744959
  • ISBN: 0538744952
Web Development and Design Foundations with XHTML, 5th...
  • Year: 2003
  • Edition: 5th
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780132122702
  • ISBN: 0132122707