More Details 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.

Meeting Name: International Conference on Automated Deduction (22nd : 2009 : Montréal, Québec)
Physical Description: 1 online resource (xiv, 504 p.) : ill.
Includes: Includes bibliographical references and index.
ISBN: 9783642029592

Notes: Title from PDF t.p. (SpringerLink, viewed July 29, 2009).
Loading SummaryLoading

More Details for: Automated deduction--CADE-22 : 22nd Inte