au}' proof system as an {interpreter} instead

of resolution.

Last updated: 1997-06-19

Nearby terms:

au}' proof system as an {interpreter} insteadile format> (TSV) A file format used as a portable

Try this search on Wikipedia, OneLook, Google


Loading