Preprint
Biform Theories: Project Description
Abstract
A biform theory is a combination of an axiomatic theory and an algorithmic
theory that supports the integration of reasoning and computation. These are
Authors
Carette J; Farmer WM; Sharoda Y
Publication date
April 29, 2018
DOI
10.48550/arxiv.1805.02709
Preprint server
arXiv