Automated Deduction – CADE-23
Subtitle: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
By: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans
Contributors: Sofronie-Stokkermans, Viorica; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6803
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642224379; 9783642224386
Subjects: Logic design; Software engineering; Computer science; Artificial intelligence