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
  • Good
  • Paperback
Used - Good

Description

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Ask the seller a question Add to wish list
A$123.53
Free Delivery within USA
Standard delivery: 7 to 14 days
More delivery options
Dropship order
Ships from Bonita (California, United States)

Details

  • Title Term Indexing (Lecture Notes in Computer Science, 1053)
  • Author Graf, Peter
  • Binding Paperback
  • Edition number 1996th
  • Edition 1996
  • Condition Used - Good
  • Pages 294
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1996-03-27
  • Bookseller's Inventory # 3540610405.G
  • 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)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 96004089
  • Dewey Decimal Code 006.3
  • Quantity available 1

About Bonita California, United States

Biblio member since 2020

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Bonita

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-