Return to search

Hyperresolution for resolution logics

Thesis (M. Sc.)--York University, 1999. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 76-77). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://wwwlib.umi.com/cr/yorku/fullcit?pMQ39193.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/48437701
Date January 1999
CreatorsGhazizadeh, Behrad.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0015 seconds