TY  - BOOK
AU  - Bonacina,Maria Paola
AU  - Stickel,Mark E
TI  - Automated Reasoning and Mathematics: Essays in Memory of William W. McCune 
SN  - 9783642366758
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematics
KW  - Artificial intelligence
UR  - http://dx.doi.org/10.1007/978-3-642-36675-8
ER  -