https://www.ebooknetworking.net/books_detail-0387100091.html

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)
Author: Savoie, France) Conference on Automated Deduction 1980 (Les Arcs, W. Bibel, Robert Kowalski
ISBN: 9780387100098

AuthorSavoie, France) Conference on Automated Deduction 1980 (Les Arcs, W. Bibel, Robert Kowalski

PublisherSpringer-Verlag

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

64.95 USD

Buy New on Amazon 🇺🇸 Buy Used — $10.11

Book Details

Author(s)Savoie, France) Conference on Automated Deduction 1980 (Les Arcs, W. Bibel, Robert Kowalski

PublisherSpringer-Verlag

ISBN / ASIN0387100091

ISBN-139780387100098

Sales Rank15,976,063

MarketplaceUnited States 🇺🇸