Tudor Jebelean,
"Natural Proofs in Elementary Analysis by S-Decomposition"
, 7-2001, Tudor Jebelean, ISSAC 2001: International Symposium on Symbolic and Algebraic Computation, London, Ontario, Canada, July 2001
Original Titel:
Natural Proofs in Elementary Analysis by S-Decomposition
Sprache des Titels:
Englisch
Erscheinungsmonat:
7
Erscheinungsjahr:
2001
Notiz zum Zitat:
Tudor Jebelean, ISSAC 2001: International Symposium on Symbolic and Algebraic Computation, London, Ontario, Canada, July 2001