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

Name: 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87)
Brand: Springer
SKU: 9783540100096
Rating: 4 (12 reviews)
ISBN: 9783540100096

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

ISBN-10:

3540100091

ISBN-13:

9783540100096

Edition: 1980

Released: Jun 01, 1980

Publisher: Springer

Format: Paperback, 396 pages

to view more data

Sell this Book

Buy this Book

Find in Library

Description:

Format Paperback Subject Mathematics

‌

We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.