Reasoning with Computer Code: a new Mathematical Logic
Open Access
|Jan 2013
Download Article
Download the full article as a PDF file.
DOI: https://doi.org/10.2478/v10229-011-0020-6 | Journal eISSN: 1946-0163
Language: English
Page range: 11 - 42
Published on: Jan 4, 2013
Published by: Artificial General Intelligence Society
In partnership with: Paradigm Publishing Services
Publication frequency: 2 issues per year
Related subjects:
© 2013 Sergio Pissanetzky, published by Artificial General Intelligence Society
This work is licensed under the Creative Commons License.