Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorMarek, V. W. (V. Wiktor), 1943-
TitleIntroduction to mathematics of satisfiability [electronic resource] / Victor W. Marek
Imprint Boca Raton : CRC Press, c2009
Connect tohttp://marc.crcnetbase.com/isbn/9781439801741
Descript xiii, 350 p. : ill

Propositional calculus Logic Symbolic and mathematical Electronic books.



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram