TY  - BOOK
AU  - Gramlich,Bernhard
AU  - Miller,Dale
AU  - Sattler,Uli
TI  - Automated reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings 
T2  - Lecture notes in computer science,
SN  - 9783642313646 (alk. paper)
U1  - 511.36028563 22
PY  - 2012///
CY  - New york
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Computer logic
KW  - fast
KW  - Conference papers and proceedings
N1  - Includes bibliographical references and author index
ER  -