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

Skip to content

Term Indexing
Stock photo: cover may vary

Term Indexing Paperback - 1996 - 1996th Edition

by Peter Graf

Add to wish list

Reader reviews for Term Indexing

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.

Details

  • Title Term Indexing
  • Author Peter Graf
  • Binding Paperback
  • Edition number 1996th
  • Edition 1996
  • Pages 294
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1996-03-27
  • 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

More Copies for Sale

Term Indexing

Term Indexing

by Peter Graf

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
458
Seller
Item price
A$105.20
A$15.57 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 com
Add to wish list
Item price
A$105.20
A$15.57 Delivery to USA
Term Indexing
Stock photo: cover may vary

Term Indexing

by Peter Graf

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
10
Seller
Item price
A$117.43
A$19.40 Delivery to USA

Show details

Description:
Paperback / softback. New. 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 data that help to overcome program degradation in automated reasoning systems.
Add to wish list
Item price
A$117.43
A$19.40 Delivery to USA
Term Indexing
Stock photo: cover may vary

Term Indexing

by Graf, Peter,

  • New
Condition
New
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
5
Seller
Item price
A$92.07
A$5.82 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$92.07
A$5.82 Delivery to USA
Term Indexing (Lecture Notes in Computer Science, 1053)
Stock photo: cover may vary

Term Indexing (Lecture Notes in Computer Science, 1053)

by Graf, Peter

  • New
  • Paperback
Condition
New
Edition
1995
Binding
Paperback
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
6
Seller
Item price
A$99.79
Free Delivery to USA

Show details

Description:
Springer, 1996-03-27. 1995. paperback. New. 6.10x0.70x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$99.79
Free Delivery to USA
Term Indexing
Stock photo: cover may vary

Term Indexing

by Graf, Peter,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
5
Seller
Item price
A$117.91
A$5.82 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$117.91
A$5.82 Delivery to USA
Term Indexing (Lecture Notes in Computer Science, 1053)
Stock photo: cover may vary

Term Indexing (Lecture Notes in Computer Science, 1053)

by Graf, Peter

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
1
Seller
Item price
A$123.74
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$123.74
Free Delivery to USA
Term Indexing (Lecture Notes in Computer Science, 1053)
Stock photo: cover may vary

Term Indexing (Lecture Notes in Computer Science, 1053)

by Graf, Peter

  • Used
  • Paperback
Condition
Used
Edition
1995
Binding
Paperback
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
1
Seller
Item price
A$167.31
Free Delivery to USA

Show details

Description:
Springer, 1996-03-27. 1995. paperback. Used: Good. 6.10x0.70x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$167.31
Free Delivery to USA
Term Indexing (Lecture Notes in Computer Science, 1053)
Stock photo: cover may vary

Term Indexing (Lecture Notes in Computer Science, 1053)

by Graf, Peter

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540610403 / 3540610405
Quantity available
1
Seller
Item price
A$191.31
A$8.68 Delivery to USA

Show details

Description:
Springer, 1996-03-27. Paperback. New. In shrink wrap. Looks like an interesting title!
Add to wish list
Item price
A$191.31
A$8.68 Delivery to USA