Isabelle : a generic theorem prover

>> Google Books

所蔵情報QRコード

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1994

形態:

xvii, 321 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 828 <BA00009279>

著者名:

ISBN:

9783540582441 [3540582444] (: gw)
9780387582443 [0387582444] (: us)

書誌ID:

BA23201242

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Bibliography: p. [301]-304 Includes index
主題:	Automatic theorem proving; Isabelle (Computer file)
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Interactive Theorem Proving Kaufmann, Matt, Kanade, Takeo, Paulson, Lawrence C. Springer eBooks Computer Science, Springer Berlin Heidelberg	7 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press
2 図書 Isabelle/HOL : a proof assistant for higher-order logic Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus Springer	8 図書 Automated theorem proving : a logical basis Loveland, Donald W., 1934- North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland
3 電子ブック Isabelle/HOL Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Automated theorem proving in software engineering Schumann, Johann M., Loveland, Donald W., 1934- Springer
4 電子ブック Interactive Theorem Proving Kaufmann, Matt, Kanade, Takeo, Paulson, Lawrence C., Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Knowledge based theorem proving and learning Cohen, Donald N. UMI Research Press
5 図書 Automated theorem proving Bibel, W., 1938- F. Vieweg	11 電子ブック Theorem Proving in Higher Order Logics Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius Springer eBooks Computer Science, Springer Berlin Heidelberg
6 図書 Mechanical geometry theorem proving Chou, Shang-Ching, 1942- D. Reidel	12 電子ブック Theorem Proving in Higher Order Logics Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12