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

Nexus

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

The Tech Coup

How to Save Democracy from Silicon Valley

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

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

Python All-in-One For Dummies

3rd Edition

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Empire of AI

Inside the reckless race for total domination

5G and Beyond Wireless Networks

Technology, Network Deployments, and Materials for Antenna Design

Advances in Digital Marketing in the Era of Artificial Intelligence

Case Studies and Data Analysis for Business Problem Solving

Advances on Mathematical Modeling and Optimization with Its Applications

Emerging Technologies

Array and Wearable Antennas

Design, Optimization, and Applications

Artificial Intelligence for Cyber Defense and Smart Policing

Artificial Intelligence of Things (AIoT)

New Standards, Technologies and Communication Systems

Autonomous Driving Network

Network Architecture in the Era of Autonomy

Bayesian Machine Learning in Geotechnical Site Characterization

Challenges in Geotechnical and Rock Engineering

Bioinformatics for Oral Cancer

Current Insights and Advances

Blockchain and Digital Twin Enabled IoT Networks

Privacy and Security Perspectives

Blockchain and Machine Learning for IoT Security

Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

CATIA v5

Advanced Parametric and Hybrid 3D Design

This product is categorised by