On Mathematical Proving
Authors
Petros Stefaneas
Ioannis M. Vandoulakis
DOI: https://doi.org/10.1515/jagi-2015-0007 | Journal eISSN: 1946-0163
Language: English
Page range: 130 - 149
Submitted on: May 18, 2015
Accepted on: Nov 19, 2015
Published on: Dec 30, 2015
Published by: Artificial General Intelligence Society
In partnership with: Paradigm Publishing Services
Publication frequency: 2 times per year
Keywords:
Related subjects:
© 2015 Petros Stefaneas, Ioannis M. Vandoulakis, published by Artificial General Intelligence Society
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.