Term Indexing - Lecture Notes in Artificial Intelligence 1053 (Paperback)
  • Term Indexing - Lecture Notes in Artificial Intelligence 1053 (Paperback)
zoom

Term Indexing - Lecture Notes in Artificial Intelligence 1053 (Paperback)

(author)
£59.99
Paperback 294 Pages / Published: 27/03/1996
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540610403
Number of pages: 294
Weight: 960 g
Dimensions: 235 x 155 x 16 mm
Edition: 1995 ed.

You may also be interested in...

Probabilistic Robotics
Added to basket
Understanding Machine Learning
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Superintelligence
Added to basket
£18.99
Hardback
Thoughtful Machine Learning
Added to basket
The Elements of Statistical Learning
Added to basket
Machine Learning
Added to basket
£37.99
Paperback
Dark Pools
Added to basket
£9.99
Paperback
Probabilistic Graphical Models
Added to basket
Artificial Intelligence: The Basics
Added to basket
Programming Game AI By Example
Added to basket
The Singularity Is Near
Added to basket
Emotion: A Very Short Introduction
Added to basket
Computer Vision
Added to basket

Please sign in to write a review

Your review has been submitted successfully.