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.
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]
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]
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]
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.
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]
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]
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]
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]
Springer, Date: 1996-03-27. Paperback. New. New. In shrink wrap. Looks like an interesting title! 1996. Springer ISBN 3540610405 9783540610403 [US]
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.