Book 2003

Automated Reasoning

Rajeev Gore Alexander Leitsch Tobias Nipkow

Publisher: Springer
Language: English
Published: 2003

Computer logic
Congresses
Automatic theorem proving
Computers
Computer science
Software engineering
Logic design
Artificial intelligence

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
Author: Rajeev Goré, Alexander Leitsch, Tobias Nipkow
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42254-9
DOI: 10.1007/3-540-45744-5

Table of Contents:Program Termination Analysis by Size-Change Graphs (Abstract)