MPG.eBooks - Search Results - "prover"

Search alternatives:
"prover" » "proven", "proved", "proves"

Cover Image

1

Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Inference System and Its Rationality -- Semantic Guidance for Saturation Provers -- Contributed Papers...”