A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1911/14397 |
| id |
ndltd-RICE-oai-scholarship.rice.edu-1911-14397 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-RICE-oai-scholarship.rice.edu-1911-143972013-10-23T04:06:26ZA MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATIONSIBERT, ELBERT ERNEST, JR.Mathematics2007-05-09T18:41:04Z2007-05-09T18:41:04Z1967ThesisTextapplication/pdfhttp://hdl.handle.net/1911/14397eng |
| collection |
NDLTD |
| language |
English |
| format |
Others
|
| sources |
NDLTD |
| topic |
Mathematics |
| spellingShingle |
Mathematics SIBERT, ELBERT ERNEST, JR. A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION |
| author |
SIBERT, ELBERT ERNEST, JR. |
| author_facet |
SIBERT, ELBERT ERNEST, JR. |
| author_sort |
SIBERT, ELBERT ERNEST, JR. |
| title |
A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION |
| title_short |
A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION |
| title_full |
A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION |
| title_fullStr |
A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION |
| title_full_unstemmed |
A MACHINE-ORIENTED LOGIC INCORPORATING THE EQUALITY RELATION |
| title_sort |
machine-oriented logic incorporating the equality relation |
| publishDate |
2007 |
| url |
http://hdl.handle.net/1911/14397 |
| work_keys_str_mv |
AT sibertelberternestjr amachineorientedlogicincorporatingtheequalityrelation AT sibertelberternestjr machineorientedlogicincorporatingtheequalityrelation |
| _version_ |
1716609415948271616 |