Search Books

Automated Theorem Proving (Künstliche Intelligenz)

Author Wolfgang Bibel
Publisher Vieweg+Teubner Verlag
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose country
33.30 37.00 USD
🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $91.34

✓ Usually ships in 24 hours

Share:
Book Details
ISBN / ASIN3528185201
ISBN-139783528185206
AvailabilityUsually ships in 24 hours
Sales Rank1,334,973
MarketplaceUnited States 🇺🇸