An interpretation oriented theorem prover over integers

Publisher Website

1 January 1970

conference paper
Published by Association for Computing Machinery (ACM)

p. 169-179
https://doi.org/10.1145/800161.805162

Abstract

No abstract available

Cited by 6 articles