Table of Contents for: Automated deduction--CADE-22 : 22nd Inte

 Staff view

You must be logged in to Tag Records

Automated deduction--CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /

Renate A. Schmidt (ed.).

Book Cover
Names: Schmidt, Renate A.
Published: Berlin ; Springer, c2009.
Series: Lecture notes in computer science ; 5663.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7 Artificial intelligence.
Topics: Automatic theorem proving - Congresses. | Logic, Symbolic and mathematical - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


[Empty]

Table of Contents for: Automated deduction--CADE-22 : 22nd Inte