Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Yves Bertot, Pierre Castèran

Berlin : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-B38

10004004355

一般図書

2

410.96-B38

10004004356

一般図書

詳細情報

刊年

2004

形態

xxv, 469 p. : ill. ; 24 cm

シリーズ名

Texts in theoretical computer science ; An EATCS series

注記

Includes index

Includes bibliographical references (p. [453]-457) and indexes

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Bertot, Yves

Castéran, Pierre

分類

DC22:511.3

件名

Automatic theorem proving

Logic, Symbolic and mathematical

ISBN

3540208542

NCID

BA67149682