Automated Theorem Proving (Künstliche Intelligenz)
Book Details
Author(s)Wolfgang Bibel
PublisherVieweg+Teubner Verlag
ISBN / ASIN3528185201
ISBN-139783528185206
MarketplaceUnited Kingdom 🇬🇧
