AND/OR process model for parallel interpretation of logic programs
By: John S. Conery
Series: Technical report 204
Publisher: University of California
Published: 1983
Place of publication: Irvine, Calif
Language: eng
Number of pages: 157
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Thesis (Ph. D.) -- University of California, Irvine, 1983