TY  - CONF

T1  - More SPASS with Isabelle

UR  - http://dx.doi.org/10.1007/978-3-642-32347-8_24

PY  - 2012/09/05

AU  - Blanchette JC

AU  - Popescu A

AU  - Wand D

AU  - Weidenbach C

ED  - 

DO  - DOI: 10.1007/978-3-642-32347-8_24

PB  - Springer Berlin Heidelberg

SN  - 9783642323461

SP  - 345

EP  - 360

Y2  - 2024/09/19

ER  -