言語:
日文
English
繁體中文
ヘルプ
南開科技大學
圖書館首頁
編目中圖書申請
ログイン
跳ぶ :
概観
タイトル
主題
Propositional calculus - Congresses.
概観
著作:
1 作品に 1 出版物中に 1 言語
タイトル
Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
…で:
(言語・文字資料 (印刷物))
主題
Propositional calculus
Computer algorithms
Decision making
処理
...
パスワードを変更する
ログイン