Book 1999

Automated Reasoning with Analytic Tableaux and Related Methods

Publisher: Springer
Language: English
Published: 1999

Automata
Computers
Computers - General Information
Expert Systems
General
Automated Deduction
Formal Systems Verification
Logic Reasoning Calculi

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
Author: Neil V. Murray
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66086-6
DOI: 10.1007/3-540-48754-9

Table of Contents:Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions