Request 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.

You must first login before requesting items. Additional help requesting materials for Benedictine borrowers.