Return to search

Syntactic characterization of propositional satisfiability

Thesis (M. Sc.)--York University, 2005. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 90-94). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004 & res_dat=xri:pqdiss & rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation & rft_dat=xri:pqdiss:MR11752.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/217131972
Date January 2005
CreatorsBelov, Anton.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0016 seconds