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

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

Publisher Springer-Verlag

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose 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 🇺🇸