Term Indexing

By: Peter Graf

Write A Review

Paperback | 27 March 1996

At a Glance

Paperback
308 Pages

Dimensions(cm)
22.86 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Library & Info Sciences Bibliographic & Subject Control Computing & I.T.Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems Mathematics Mathematical Foundation Mathematical Logic Computer Programming & Software Development

Introduction	p. 1
Preliminaries	p. 17
Fundamental Data Structures and Algorithms	p. 27
Attribute-Based Indexing	p. 43
Set-Based Indexing	p. 51
Tree-Based Indexing	p. 127
Comparison of Indexing Techniques	p. 201
Indexing in Theorem Provers	p. 233
Summary	p. 265
Bibliography	p. 275
Index	p. 281
Table of Contents provided by Blackwell. All Rights Reserved.

Term Indexing

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

A Brief History of Information Networks from the Stone Age to AI

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Machine Learning For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

The Tech Coup

How to Save Democracy from Silicon Valley

AI for Business

A Guide to AI Adoption

New Beginnings

why change is so difficult and how to achieve it

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Python All-in-One For Dummies

3rd Edition

The Shortest History of AI

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Managing IT Suppliers

A Practical Guide to Vendor Management

Managing IT Suppliers

A Practical Guide to Vendor Management

Humanising Language Education in the Generative Artificial Intelligence Age

A Critical Realist Approach

Building Microservices

Designing Fine-Grained Systems 2nd Edition

New Forms of Civic Resistance and Activism

Handbook of Artificial Intelligence in Water Management

Towards Net Zero Emissions

AI in Education Systems

Successful Cases and Perspectives

This product is categorised by