CAISOR Archive of Articles, PM-1973-009

Conversion of predicate-calculus axioms, viewed as non-deterministic programs, to corresponding deterministic programs

Erik Sandewall

Description of, and links to the document with the title and author mentioned above:
Publication and conference presentation (refereed):

Proceedings of International Joint Conference on Artificial Intelligence, 1973, pages 230-234.

Open access: [scan/pdf]
Publisher version: [No link from here].


This index page is persistent and will continue to contain links to the full text of the document as well as information about it. WWW links to this index page will be valid and useful for the foreseeable future, therefore. More information at the CAISOR archive website.