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

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

  • 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

PHP and MySQL Web Development (4th Edition)
  • Year: 2008
  • Edition: 4th
  • Publisher: Addison-Wesley Professional
  • Type: Paperback
  • ISBN13: 9780672329166
  • ISBN: 9780672329166
Adobe Dreamweaver CS5 Revealed
  • Year: 2010
  • Edition: 1st
  • Publisher: Cengage Learning
  • Type: Paperback
  • ISBN13: 9781111130664
  • ISBN: 9781111130664
XML: Visual QuickStart Guide (2nd Edition)
  • Year: 2008
  • Edition: 2nd
  • Publisher: Peachpit Press
  • Type: Paperback
  • ISBN13: 9780321559678
  • ISBN: 0321559673