Arthur J. Nevins
Arthur J. Nevins.
A programming language with automatic goal generation and selection.
Journal of the ACM
, 17(2):216-230, April 1970.
Additional information.
Arthur J. Nevins.
A human oriented logic for automatic theorem-proving.
Journal of the ACM
, 21(4):606-621, October 1974.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database