|
|
|||
|
||||
OverviewThe 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 proving and important impulses come from the ""application areas"", i.e.natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning. Full Product DetailsAuthor: Karl H. Bläsius , Ulrich Hedtstück , Claus-Rainer RollingerPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1990 ed. Volume: 418 Dimensions: Width: 17.80cm , Height: 1.70cm , Length: 25.40cm Weight: 1.250kg ISBN: 9783540523376ISBN 10: 3540523375 Pages: 307 Publication Date: 12 July 1990 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||