Reasoning With Computer Code: A New Mathematical Logic
Journal of Artificial General Intelligence
doi 10.2478/v10229-011-0020-6
Full Text
Open PDFAbstract
Available in full text
Date
January 4, 2013
Authors
Publisher
Walter de Gruyter GmbH
Available in full text
January 4, 2013
Walter de Gruyter GmbH