Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002079459/catalog> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- catalog abstract ""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 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."--Publisher's website.".
- catalog contributor b2988607.
- catalog contributor b2988608.
- catalog contributor b2988609.
- catalog contributor b2988610.
- catalog created "c1990.".
- catalog date "1990".
- catalog date "c1990.".
- catalog dateCopyrighted "c1990.".
- catalog 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 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."--Publisher's website.".
- catalog description "Includes bibliographical references.".
- catalog extent "viii, 307 p. :".
- catalog hasFormat "Sorts and types in artificial intelligence.".
- catalog identifier "0387523367 :".
- catalog isFormatOf "Sorts and types in artificial intelligence.".
- catalog isPartOf "Lecture notes in computer science ; 418. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 418.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1990".
- catalog issued "c1990.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Sorts and types in artificial intelligence.".
- catalog subject "006.3 20".
- catalog subject "Abstract data types (Computer science) Congresses.".
- catalog subject "Artificial intelligence Congresses.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Q334 .S632 1990".
- catalog subject "Sorting (Electronic computers) Congresses.".
- catalog title "Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".