>> Amazon.co.jp
このページのQRコード

Isabelle : a generic theorem prover

種類:
図書
責任表示:
Lawrence C. Paulson ; with contributions by Tobias Nipkow
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1994
著者名:
Paulson, Lawrence C. <DA01635722>  
シリーズ名:
Lecture notes in computer science ; 828 <BA00009279>
ISBN:
9783540582441 [3540582444] (: gw)  CiNii Books  Calil
9780387582443 [0387582444] (: us)  CiNii Books  Calil
注記:
Bibliographiy: p. [301]-304
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. Isabelle : A Generic Theorem Prover
edited by Lawrence C. Paulson , Springer-Verlag , 1994

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Isabelle : A Generic Theorem Prover

Paulson, Lawrence C., SpringerLink (Online service)

Springer-Verlag
7 図書 ML for the working programmer

Paulson, Lawrence C.

Cambridge University Press
2 電子ブック Isabelle : A Generic Theorem Prover

Paulson, Lawrence C., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 ML for the working programmer

Paulson, Lawrence C.

Cambridge University Press
3 図書 Automated theorem proving in software engineering

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

Springer
9 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

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

North-Holland
4 図書 Using sophisticated models in resolution theorem proving

Sandford, David M.

Springer-Verlag
10 図書 First-order logic and automated theorem proving

Fitting, Melvin, 1942-

Springer-Verlag
5 電子ブック Automated theorem proving : after 25 years

Special Session on Automatic Theorem Proving, Bledsoe, W. W., Loveland, Donald W., American Mathematical Society.

American Mathematical Society
11 電子ブック Using Sophisticated Models in Resolution Theorem Proving

Sandford, David M., SpringerLink (Online service)

Springer-Verlag
6 図書 MECHANICAL GEOMETRY THEOREM PROVING

CHOU, SHANG-CHING

D. REIDEL PUB.
12 電子ブック Using Sophisticated Models in Resolution Theorem Proving

Sandford, David M., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer