%0 Book
%T Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31- August 5, 2011 ; proceedings
%A CADE 23 2011 Breslau International Conference on Automated Deduction
%A Bjørner, Nikolaj
%A Sofronie-Stokkermans, Viorica
%I Springer
%@ 3642224377
%@ 9783642224379
%K Automatic theorem proving Congresses
%K Logic, Symbolic and mathematical Congresses
%K Konferenzschrift 2011 Breslau
%K Automatisches Beweisverfahren
%D 2011
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation