Home Book reviews
Author field first Title field first Classic page
Used Book Memo Saved Search New Book Memo
Blank new search Keep last search terms Advanced blank new page Advanced/classic keep search terms Classic blank new search
Contact
☰

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

Please share to

23 titles, showing 1-23 sort by PRICE DESC.
Please follow us on AddALL Facebook page twitter page
TITLE

SORT

change title size:
AUTHOR

SORT

change author size:
PRICE

DEALER / SITE

SORT

DESCRIPTION

 

change description size:
1. Term Indexing Lecture Notes in Computer Science 1053 Buy it!

Save Show this book only

title size:
Graf Peter
author size:
USD
145.64
price size:
GridFreed LLC /Biblio
dealer size:
Springer, Date: 1996-03-27. Paperback. New. New. In shrink wrap. Looks like an interesting title! 1996. Springer ISBN 3540610405 9783540610403 [US]
description size:
2. TERM INDEXING (LECTURE NOTES IN Buy it!

Save Show this book only

Graf, Peter
author size:
USD
138.71
price size:
BennettBooksLtd /Abebooks
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover New. In shrink wrap. Looks like an interesting title! 1
[North Las Vegas, NV, U.S.A.] [Publication Year: 1996]
description size:
3. Term Indexing (Lecture Notes in Computer Science, 1053) Buy it!

Save Show this book only

Graf, Peter
author size:
USD
125.79
price size:
Bonita via Alibris /Alibris
dealer size:
Springer 1996 1995 ed. paperback New
description size:
4. Term Indexing Lecture Notes in Computer Science 1053 Buy it!

Save Show this book only

Graf Peter
author size:
USD
95.06
price size:
Bonita /Biblio
dealer size:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. ISBN 3540610405 9783540610403 [US]
description size:
5. Term Indexing (Lecture Notes in Computer Science, 1053) Buy it!

Save Show this book only

Graf, Peter
author size:
USD
85.61
price size:
Bonita via Alibris /Alibris
dealer size:
Springer 1996 1995 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book.
description size:
6. Term Indexing Buy it!

Save Show this book only

Graf, Peter
author size:
USD
79.42
price size:
Chiron Media /AbebooksUK
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer 1996-03] Softcover
[Wallingford, United Kingdom] [Publication Year: 1996]
description size:
7. Term Indexing Buy it!

Save Show this book only

Peter Graf
author size:
USD
76.46
price size:
The Saint Bookstore /Biblio
dealer size:
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. ISBN 3540610405 9783540610403 [GB]
description size:
8. Term Indexing Buy it!

Save Show this book only

Graf, Peter
author size:
USD
72.54
price size:
ShopSpell via Alibris /Alibris
dealer size:
Berlin, Heidelberg Springer 1996 1995 ed. Trade paperback New. Trade paperback (US). Glued binding. 294 p.
description size:
9. Term Indexing Buy it!

Save Show this book only

Peter Graf
author size:
USD
67.55
price size:
Ria Christie Collections /Biblio
dealer size:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Term Indexing. ISBN 3540610405 9783540610403 [GB]
description size:
10. Term Indexing Buy it!

Save Show this book only

Peter Graf
author size:
USD
66.16
price size:
AHA-BUCH GmbH /AbebooksDE
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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.
[Einbeck, Germany] [Publication Year: 1996]
Show/Hide image
description size:
11. Term Indexing Buy it!

Save Show this book only

Peter Graf
author size:
USD
59.51
price size:
AHA-BUCH GmbH /ZVAB
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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.
[Einbeck, Germany] [Publication Year: 1996]
Show/Hide image
description size:
12. Term Indexing (Lecture Notes in Computer Science, 1053) Buy it!

Save Show this book only

Graf, Peter
author size:
USD
59.29
price size:
Lucky's Textbooks /Abebooks
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover
[Dallas, TX, U.S.A.] [Publication Year: 1996]
description size:
13. Term Indexing (Lecture Notes in Computer Science (1053)) by Graf, Peter [Paperback ] Buy it!

Save Show this book only

Graf, Peter
author size:
USD
55.30
price size:
booksXpress /Abebooks
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover
[Bayonne, NJ, U.S.A.] [Publication Year: 1996]
Show/Hide image
description size:
14. Term Indexing Buy it!

Save Show this book only

Graf, Peter
author size:
USD
51.65
price size:
Alibris /Alibris
dealer size:
Berlin, Heidelberg Springer 1996 1995 ed. Trade paperback New. Trade paperback (US). Glued binding. 294 p.
description size:
15. Term Indexing (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence) Buy it!

Save Show this book only

Graf, Peter
author size:
USD
48.10
price size:
GuthrieBooks via Alibris /Alibris
dealer size:
Springer 1996-03-27 1995 ed. Paperback Very Good Size: 6x0x9; Ex-library paperback in very nice condition with the usual markings and attachments.
description size:
16. Term Indexing (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence) Buy it!

Save Show this book only

Graf, Peter
author size:
USD
48.10
price size:
GuthrieBooks /Abebooks
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover Ex-library paperback in very nice condition with the usual markings and attachments.
[Spring Branch, TX, U.S.A.] [Publication Year: 1996]
description size:
17. Term Indexing Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence Buy it!

Save Show this book only

Graf Peter
author size:
USD
47.10
price size:
GuthrieBooks /Biblio
dealer size:
Springer, Date: 1996-03-27. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. 1996. Springer ISBN 3540610405 9783540610403 [US]
description size:
18. Term Indexing Buy it!

Save Show this book only

Graf, Peter
author size:
USD
33.87
price size:
Anybook.com via Alibris /Alibris
dealer size:
Springer 1995 1995 ed. Trade paperback This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 500grams, ISBN: 3540610405.
description size:
19. Term Indexing Buy it!

Save Show this book only

Peter Graf
author size:
USD
24.23
price size:
Buchpark /AbebooksDE
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer Berlin Heidelberg] Softcover Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 308 | Sprache: Englisch
[Trebbin, Germany] [Publication Year: 1996]
description size:
20. Term Indexing Buy it!

Save Show this book only

Peter Graf
author size:
USD
21.80
price size:
Buchpark /ZVAB
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer Berlin Heidelberg] Softcover Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 308 | Sprache: Englisch
[Trebbin, Germany] [Publication Year: 1996]
description size:
21. Term Indexing Buy it!

Save Show this book only

Graf, Peter
author size:
USD
18.02
price size:
Anybook.com /AbebooksUK
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:3540610405
[Lincoln, United Kingdom] [Publication Year: 1995]
description size:
22. Term Indexing Buy it!

Save Show this book only

Graf Peter
author size:
USD
17.71
price size:
Anybook.com /Biblio
dealer size:
Springer, Date: 1995. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:3540610405 1995. Springer ISBN 3540610405 9783540610403 [GB]
description size:
23. Term Indexing Buy it!

Save Show this book only

Graf, Peter
author size:
USD
16.70
price size:
Anybook.com /ZVAB
dealer size:
ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:3540610405
[Lincoln, United Kingdom] [Publication Year: 1995]
description size:

DISCLOSURE: When you use one of our links to make a purchase, we may earn a commission at no extra cost to you.
As an Amazon Associate, AddALL earn commission from qualifying Amazon purchases.

TOO Many Search Results? Refine it!
Exclude: (what you don't want)
Include: (what you want)
Search Results Sort By:
[Privacy policy | Random quotes | Link to us | About us ]
Copyright © 1998-, Addall.com Pte Ltd. All rights reserved.
240515004753227765