TY  - BOOK
AU  - Corsi,Giovanna
AU  - Lupacchini,Rossella
ED  - ebrary, Inc.
TI  - Deduction, computation, experiment: exploring the effectiveness of proof 
AV  - BC173 .D43 2008eb
PY  - 2008///
CY  - Berlin, New York
PB  - Springer
KW  - Evidence
KW  - Logic
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references and index; Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://site.ebrary.com/lib/rucke/Doc?id=10252042
ER  -