5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)

Name: 5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)
Brand: Springer, Verlag
SKU: 9780387100098
Rating: 4.7 (1 reviews)
ISBN: 9780387100098

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

ISBN-10:

0387100091

ISBN-13:

9780387100098

Author(s): WOLFGANG BIBEL

Edition: First Edition

Released: Oct 01, 1980

Publisher: Springer, Verlag

Format: Paperback, 385 pages

to view more data

Sell this Book

Buy this Book

Find in Library

Description:

Book details unavailable.

‌

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