3540523375 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > HIDE COVERS - ASIN Title: Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Author: Karl H. Bläsius Description: Product Description The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem prov... (more) Available: No copies available WISHLIST ADD + SAVE FOR LATER + AMAZON > RECOMMEND > DETAIL > Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >