Search alternatives:
anti-provers » anti-proverbs, anti-proves, anti-providers, anti-provens, anti-proveds, anti-provess
anti-improves » anti-improve, anti-improved
anti-prover » anti-proven, anti-proved, anti-proves
Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... in the dynamic logic of recursively enumerable programs -- A prolog machine -- A prolog technology theorem prover...”