Automated Theorem Proving (Künstliche Intelligenz)
Book Details
Author(s)Wolfgang Bibel
PublisherVieweg+Teubner Verlag
ISBN / ASIN3528185201
ISBN-139783528185206
AvailabilityUsually ships in 24 hours
Sales Rank1,334,973
MarketplaceUnited States 🇺🇸
