>> 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
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus

Springer

Cohen, Donald N.

UMI Research Press

2 電子ブック Interactive Theorem Proving

Kaufmann, Matt, Kanade, Takeo, Paulson, Lawrence C.

Springer eBooks Computer Science, Springer Berlin Heidelberg

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press

Chou, Shang-Ching, 1942-

D. Reidel

Loveland, Donald W., 1934-

North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland

Bibel, W., 1938-

F. Vieweg

Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Springer eBooks Computer Science, Springer Berlin Heidelberg

Gallier, Jean H.

University Microfilms International

Schumann, Johann M., Loveland, Donald W., 1934-

Springer

Sandford, David M.

Springer-Verlag

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12