An interpretation-oriented theorem prover over integers
- 1 August 1972
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 6 (4) , 305-323
- https://doi.org/10.1016/s0022-0000(72)80024-2
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- The Decision Problem for Exponential Diophantine EquationsAnnals of Mathematics, 1961