LEADER 02927nam  22005655  450 
001 996465573403316
005 20200703040345.0
010   $a3-540-49873-7
024 7 $a10.1007/3-540-61040-5
035   $a(CKB)1000000000234428
035   $a(SSID)ssj0000327149
035   $a(PQKBManifestationID)11232114
035   $a(PQKBTitleCode)TC0000327149
035   $a(PQKBWorkID)10297924
035   $a(PQKB)10831226
035   $a(DE-He213)978-3-540-49873-5
035   $a(PPN)155226290
035   $a(EXLCZ)991000000000234428
100   $a20121227d1995      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTerm Indexing$b[electronic resource] /$fby Peter Graf
205   $a1st ed. 1995.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995.
215   $a1 online resource (XIV, 294 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1053
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-61040-5 
327   $aPreliminaries -- Fundamental data structures and algorithms -- Attribute-based indexing -- Set-based indexing -- Tree-based indexing -- Comparison of indexing techniques -- Indexing in theorem provers -- Summary.
330   $aTerm indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
410  0$aLecture Notes in Artificial Intelligence ;$v1053
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
700   $aGraf$b Peter$4aut$4http://id.loc.gov/vocabulary/relators/aut$0746610
906   $aBOOK
912   $a996465573403316
996   $aTerm indexing$91490437
997   $aUNISA