Language:
English
日文
繁體中文
Help
南開科技大學
圖書館首頁
編目中圖書申請
Login
Jump To :
Overview
Titles
Subjects
Propositional calculus - Congresses.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
by:
(Language materials, printed)
Subjects
Propositional calculus
Computer algorithms
Decision making
Processing
...
Change password
Login