TY  - BOOK
AU  - Giesl,Jurgen
AU  - Hahnle,Reiner
ED  - IJCAR 2010
ED  - SpringerLink (Online service)
TI  - Automated reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings 
SN  - 9783642142031 (electronic bk.)
AV  - QA76.9.A96 I33 2010
U1  - 006.333 22
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Automatic theorem proving
KW  - Congresses
KW  - Computer logic
KW  - Computer Science
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=
ER  -