言語:
日文
English
繁體中文
ヘルプ
南開科技大學
圖書館首頁
編目中圖書申請
ログイン
跳ぶ :
概観
タイトル
主題
Automatic theorem proving - Computer programs.
概観
著作:
1 作品に 1 出版物中に 1 言語
タイトル
Certified programming with dependent types :a pragmatic introduction to the Coq proof assistant /
…で:
(言語・文字資料 (印刷物))
主題
Automatic theorem proving- Computer programs.
Coq (Electronic resource)
Computer programming.
処理
...
パスワードを変更する
ログイン