言語:
日文
English
繁體中文
ヘルプ
南開科技大學
圖書館首頁
編目中圖書申請
ログイン
跳ぶ :
概観
タイトル
主題
Automatic theorem proving.
概観
著作:
2 作品に 2 出版物中に 2 言語
タイトル
Mechanical theorem proving in geometries :basic principles /
…で:
(言語・文字資料 (印刷物))
Logic for computer science :foundations of automatic theorem proving /
…で:
(言語・文字資料 (印刷物))
主題
Geometry- Data processing.
Logic, Symbolic and mathematical.
Automatic theorem proving.
処理
...
パスワードを変更する
ログイン