BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Term Indexing (Lecture Notes in Computer Science, 1053)

Term Indexing (Lecture Notes in Computer Science, 1053)

Term Indexing (Lecture Notes in Computer Science, 1053)
Stock photo: cover may vary

Term Indexing (Lecture Notes in Computer Science, 1053) Paperback - 1996 - 1996th Edition

by Graf, Peter

Add to wish list
  • Used
  • Paperback
Used: Good

Description

Springer, 1996-03-27. 1995. paperback. Used: Good. 6.10x0.70x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$167.31
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

  • Title Term Indexing (Lecture Notes in Computer Science, 1053)
  • Author Graf, Peter
  • Binding Paperback
  • Edition number 1996th
  • Edition 1995
  • Condition Used: Good
  • Pages 294
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1996-03-27
  • Bookseller's Inventory # SONG3540610405
  • ISBN 9783540610403 / 3540610405
  • Weight 0.96 lbs (0.44 kg)
  • Dimensions 9.21 x 6.14 x 0.65 in (23.39 x 15.60 x 1.65 cm)
  • Size 6.10x0.70x9.25
  • Category Computers - General Information
  • Library of Congress Catalogue Number 96004089
  • Dewey Decimal Code 006.3
  • Quantity available 1

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Term Indexing (Lecture Notes in Computer Science, 1053)

From the publisher

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.
tracking-