Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland)
Title Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings / Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.).
Publication Info Heidelberg : Springer, [2011]



Descript xiii, 508 pages ; 24 cm.
ISBN 9783642224379
Click on the terms below to find similar items in the catalogue
Conference International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland)
Series Lecture notes in computer science, 6803. Lecture notes in artificial intelligence
Subject Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Alt author Björner, Nikolaj.
Sofronie-Stokkermans, Viorica.
Descript xiii, 508 pages ; 24 cm.
ISBN 9783642224379
Conference International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland)
Series Lecture notes in computer science, 6803. Lecture notes in artificial intelligence
Subject Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Alt author Björner, Nikolaj.
Sofronie-Stokkermans, Viorica.

Subject Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Descript xiii, 508 pages ; 24 cm.
Alt author Björner, Nikolaj.
Sofronie-Stokkermans, Viorica.
ISBN 9783642224379

Links and services for this item: