Florina Piroi,
"Tools for Using Automated Provers in Mathematical Theory Exploration"
, Serie Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria, 8-2004
Original Titel:
Tools for Using Automated Provers in Mathematical Theory Exploration
Sprache des Titels:
Englisch
Serie:
Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria