skip to content
Term indexing Preview this item
ClosePreview this item
Checking...

Term indexing

Author: Peter Graf
Publisher: Berlin ; New York : Springer, ©1995.
Series: Lecture notes in computer science, 1053.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Term 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Term indexing
(NL-LeOCL)147150566
(OCoLC)34604093
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Peter Graf
ISBN: 9783540498735 3540498737
OCLC Number: 466116735
Description: 1 online resource (xiv, 284 pages) : illustrations.
Contents: Preliminaries.- Fundamental data structures and algorithms.- Attribute-based indexing.- Set-based indexing.- Tree-based indexing.- Comparison of indexing techniques.- Indexing in theorem provers.- Summary.
Series Title: Lecture notes in computer science, 1053.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Peter Graf.

Abstract:

As part of the "Lecture Notes in Artificial Intelligence" series, this monograph provides an overview of term indexing and presents recent indexing techniques for the retrieval and maintenance of  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/466116735> # Term indexing
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "466116735" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/968979> ; # Indexing
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/61618042#Topic/automatisch_indexeren> ; # Automatisch indexeren
    schema:about <http://experiment.worldcat.org/entity/work/data/61618042#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
    schema:about <http://id.worldcat.org/fast/918516> ; # Expert systems (Computer science)
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://dewey.info/class/006.3/e20/> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/24773319> ; # Peter Graf
    schema:datePublished "1995" ;
    schema:description "Term 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/61618042> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/61618042#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/61618042#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/34604093> ;
    schema:name "Term indexing"@en ;
    schema:productID "466116735" ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-61040-3> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-662-18819-4> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-61040-5> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-61040-3> ;
    schema:url <http://dx.doi.org/10.1007/3-540-61040-5> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/3-540-61040-5> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-14/3/3540610405> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-61040-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540498735> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/466116735> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/61618042#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/466116735> ; # Term indexing
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/61618042#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/466116735> ; # Term indexing
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/61618042#Topic/automatisch_indexeren> # Automatisch indexeren
    a schema:Intangible ;
    schema:name "Automatisch indexeren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/61618042#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
    schema:name "Automatische bewijsvoering"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/918516> # Expert systems (Computer science)
    a schema:Intangible ;
    schema:name "Expert systems (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/968979> # Indexing
    a schema:Intangible ;
    schema:name "Indexing"@en ;
    .

<http://viaf.org/viaf/24773319> # Peter Graf
    a schema:Person ;
    schema:birthDate "1966" ;
    schema:familyName "Graf" ;
    schema:givenName "Peter" ;
    schema:name "Peter Graf" ;
    .

<http://worldcat.org/isbn/9783540498735>
    a schema:ProductModel ;
    schema:isbn "3540498737" ;
    schema:isbn "9783540498735" ;
    .

<http://www.worldcat.org/oclc/34604093>
    a schema:CreativeWork ;
    rdfs:label "Term indexing" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/466116735> ; # Term indexing
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.