言語:
日文
English
簡体中文
繁體中文
ヘルプ
ログイン
跳ぶ :
概観
タイトル
主題
Reasoning - Technique.
概観
著作:
1 作品に 0 出版物中に 0 言語
タイトル
Mechanizing Mathematical Reasoning[electronic resource] :Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
…で:
(コンピュータ・メディア)
主題
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Software Engineering.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving.
Reasoning
Computer Science.
処理
...
パスワードを変更する
ログイン