LEADER 03190nam  22005895  450 
001 996466138503316
005 20200703012118.0
010   $a3-540-46965-6
024 7 $a10.1007/3-540-52337-6
035   $a(CKB)1000000000548897
035   $a(SSID)ssj0000326760
035   $a(PQKBManifestationID)11297550
035   $a(PQKBTitleCode)TC0000326760
035   $a(PQKBWorkID)10297351
035   $a(PQKB)11378740
035   $a(DE-He213)978-3-540-46965-0
035   $a(PPN)155233009
035   $a(EXLCZ)991000000000548897
100   $a20121227d1990      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSorts and Types in Artificial Intelligence$b[electronic resource] $eWorkshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings /$fedited by Karl H. Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
205   $a1st ed. 1990.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1990.
215   $a1 online resource (VIII, 307 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v418
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-52337-5 
327   $aContents: Introduction -- Sorts and Types in Logic, Theorem Proving and Logic Programming -- Sorts and Types in Knowledge Representation Including Qualitative Reasoning -- Sorts and Types in Natural Language (Understanding) Systems -- List of Contributors.
330   $aThe 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.
410  0$aLecture Notes in Artificial Intelligence ;$v418
606   $aArtificial intelligence
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aMathematical Logic and Foundations.
676   $a006.3
702   $aBläsius$b Karl H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHedtstück$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRollinger$b Claus-Rainer$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466138503316
996   $aSorts and Types in Artificial Intelligence$92831218
997   $aUNISA