1. Term Indexing (Lecture Notes in Computer Science (1053)) by Graf, Peter [Paperback ]
by Graf, Peter 
Price: USD 55.30
Dealer: Abebooks, booksXpress
Description: ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover [Bayonne, NJ, U.S.A.] [Publication Year: 1996]  

2. Term Indexing (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Graf, Peter 
Price: USD 48.10
Dealer: Alibris, GuthrieBooks via Alibris
Description: Springer 1996-03-27 1995 ed. Paperback Very Good Size: 6x0x9; Ex-library paperback in very nice condition with the usual markings and attachments. 

3. Term Indexing (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Graf, Peter 
Price: USD 48.10
Dealer: Abebooks, GuthrieBooks
Description: 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]  

4. Term Indexing (Lecture Notes in Computer Science, 1053)
by Graf, Peter 
Price: USD 85.61
Dealer: Alibris, Bonita via Alibris
Description: Springer 1996 1995 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book. 

5. Term Indexing (Lecture Notes in Computer Science, 1053)
by Graf, Peter 
Price: USD 125.79
Dealer: Alibris, Bonita via Alibris
Description: Springer 1996 1995 ed. paperback New 

6. Term Indexing (Lecture Notes in Computer Science, 1053)
by Graf, Peter 
Price: USD 59.29
Dealer: Abebooks, Lucky's Textbooks
Description: ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer] Softcover [Dallas, TX, U.S.A.] [Publication Year: 1996]  

7. TERM INDEXING (LECTURE NOTES IN
by Graf, Peter 
Price: USD 138.71
Dealer: Abebooks, BennettBooksLtd
Description: 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]  

8. Term Indexing
by Graf Peter 
Price: USD 17.71
Dealer: Biblio, Anybook.com
Description: 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] 

9. Term Indexing
by Peter Graf 
Price: USD 67.55
Dealer: Biblio, Ria Christie Collections
Description: New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Term Indexing. ISBN 3540610405 9783540610403 [GB] 

10. Term Indexing
by Peter Graf 
Price: USD 76.46
Dealer: Biblio, The Saint Bookstore
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. ISBN 3540610405 9783540610403 [GB] 

11. Term Indexing Lecture Notes in Computer Science 1053
by Graf Peter 
Price: USD 95.06
Dealer: Biblio, Bonita
Description: paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. ISBN 3540610405 9783540610403 [US] 

12. Term Indexing Lecture Notes in Computer Science 1053
by Graf Peter 
Price: USD 145.64
Dealer: Biblio, GridFreed LLC
Description: Springer, Date: 1996-03-27. Paperback. New. New. In shrink wrap. Looks like an interesting title! 1996. Springer ISBN 3540610405 9783540610403 [US] 

13. Term Indexing Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
by Graf Peter 
Price: USD 47.10
Dealer: Biblio, GuthrieBooks
Description: 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] 

14. Term Indexing
by Graf, Peter 
Price: USD 51.65
Dealer: Alibris
Description: Berlin, Heidelberg Springer 1996 1995 ed. Trade paperback New. Trade paperback (US). Glued binding. 294 p. 

15. Term Indexing
by Graf, Peter 
Price: USD 33.87
Dealer: Alibris, Anybook.com via Alibris
Description: 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. 

16. Term Indexing
by Graf, Peter 
Price: USD 72.54
Dealer: Alibris, ShopSpell via Alibris
Description: Berlin, Heidelberg Springer 1996 1995 ed. Trade paperback New. Trade paperback (US). Glued binding. 294 p. 

17. Term Indexing
by Graf, Peter 
Price: USD 18.02
Dealer: AbebooksUK, Anybook.com
Description: 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]  

18. Term Indexing
by Graf, Peter 
Price: USD 79.42
Dealer: AbebooksUK, Chiron Media
Description: ISBN10: 3540610405, ISBN13: 9783540610403, [publisher: Springer 1996-03] Softcover [Wallingford, United Kingdom] [Publication Year: 1996]  

19. Term Indexing
by Graf, Peter 
Price: USD 16.70
Dealer: ZVAB, Anybook.com
Description: 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]  

20. Term Indexing
by Peter Graf 
Price: USD 66.16
Dealer: AbebooksDE, AHA-BUCH GmbH
Description: 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]  

21. Term Indexing
by Peter Graf 
Price: USD 24.23
Dealer: AbebooksDE, Buchpark
Description: 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]  

22. Term Indexing
by Peter Graf 
Price: USD 59.51
Dealer: ZVAB, AHA-BUCH GmbH
Description: 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]  

23. Term Indexing
by Peter Graf 
Price: USD 21.80
Dealer: ZVAB, Buchpark
Description: 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]