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

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

Name: 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science)
Author: Unknown
ISBN: 9783540100096

PublisherSpringer

Shop on Amazon — choose your country

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

Buy New on Amazon 🇫🇷

Book Details

PublisherSpringer

ISBN / ASIN3540100091

ISBN-139783540100096

MarketplaceFrance 🇫🇷