CAISOR Archive of Articles, PM-1974-001 - A procedure generator for a predicate calculus
data base Anders Haraldsson Description of, and links to the document with the title and
author mentioned above:
Publication and conference presentation (refereed):Proceedings of International Federation of Information Processing, 1974, pages 575-579.
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. |