TY  - BOOK
AU  - Schwichtenberg,Helmut
AU  - Spies,Katharina
TI  - Proof technology and computation
SN  - 1586036254
PY  - 2006///
CY  - Amsterdam
PB  - IOS Press
KW  - Automatic theorem proving
KW  - Congresses
KW  - Computer programming
KW  - Computer software
KW  - Development
UR  - http://www.loc.gov/catdir/toc/fy0707/2006927922.html
ER  -