A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION

Bibliographic Details
Main Author: SIBERT, ELBERT ERNEST, JR.
Format: Others
Language:English
Published: 2007
Subjects:
Online Access:http://hdl.handle.net/1911/14397