Mathematics and Science, Mathematics, Mathematical Foundations, Mathematical Logic
5th Conference on Automated Deduction

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

,
Paperback Published on: 01/06/1980
£44.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Publisher information

  • Publisher: Springer Berlin Heidelberg
  • ISBN: 9783540100096
  • Number of pages: 388
  • Dimensions: 233 x 155 x 21 mm
  • Weight: 1250g
  • Languages: English