>> Google Books
所蔵情報QRコード

Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
xiii, 218 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2283 <BA00009279>
著者名:
ISBN:
9783540433767 [3540433767]
書誌ID:
BA56377991
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

Springer eBooks Computer Science, Springer Berlin Heidelberg

International Conference on Theorem Proving in Higher Order Logics, Hurd, Joe, Melham, T. F. (Tom F.)

Springer

Paulson, Lawrence C., Nipkow, Tobias, 1958-

Springer-Verlag

Paulson, Lawrence C.

Cambridge University Press

Paulson, Lawrence C.

Cambridge University Press

9 電子ブック Isabelle

Paulson, Lawrence C.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

5 電子ブック Types for Proofs and Programs

Barendregt, Hendrik Pieter, Nipkow, Tobias

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Lambek, Joachim, Scott, P. J.

Cambridge University Press

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., …

North-Holland

Mohamed, Otmane Ait, Ait Mohamed, Otmane, Kanade, Takeo, Muñoz, César, Muñoz, César A., Tahar, Sofiène

Springer eBooks Computer Science, Springer Berlin Heidelberg

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