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

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

(editor), (editor)
£67.99
Paperback 388 Pages / Published: 01/06/1980
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540100096
Number of pages: 388
Weight: 1250 g
Dimensions: 233 x 155 x 21 mm
Edition: 1980 ed.

You may also be interested in...

Measurements and their Uncertainties
Added to basket
Foundation Mathematics
Added to basket
Introducing Infinity
Added to basket
Logic for Dummies
Added to basket
£13.99
Paperback
Godel's Proof
Added to basket
£10.99
Paperback
Conceptual Mathematics
Added to basket
An Introduction to Non-Classical Logic
Added to basket
Equation That Couldn't be Solved
Added to basket
Math Girls
Added to basket
£11.99
Paperback
Logic
Added to basket
£10.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.