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

Edinburgh LCF : a mechanised logic of computation

種類:
図書
責任表示:
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
出版情報:
Berlin ; New York : Springer-Verlag, 1979
著者名:
シリーズ名:
Lecture notes in computer science ; 78 <BA00009279>
ISBN:
9783540097242 [3540097244] (: gw)  CiNii Books  Calil
9780387097244 [0387097244] (: us)  CiNii Books  Calil
注記:
Bibliography: p. [153]-157
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Edinburgh LCF : A Mechanised Logic of Computation

Gordon, Michael J., Milner, Arthur J., Wadsworth, Christopher P., SpringerLink (Online service)

Springer-Verlag
7 図書 Computation theory and logic

Börger, Egon, 1946-

Springer-Verlag
2 電子ブック Edinburgh LCF : A Mechanized Logic of Computation

Gordon, M., Milner, R., Wadsworth, C.P., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック Computational Viscoelasticity

Marques, Severino P. C., Creus, Guillermo J., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 図書 Computational logic : essays in honor of Alan Robinson

Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-

MIT Press
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 図書 Proof, language, and interaction : essays in honour of Robin Milner

Plotkin, G. (Gordon), 1946-, Stirling, Colin P., Tofte, Mads, Milner, R. (Robin), 1934-

MIT Press
10 図書 A calculus of communicating systems

Milner, Robin, 1934-

Springer-Verlag
5 図書 A computational logic

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press
11 図書 Communication and concurrency

Milner, Robin, 1934-

Prentice Hall
6 図書 ALPUK91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991

UK Annual Conference on Logic Programming, Wiggins, Geraint A., 1962-, Mellish, C. S. (Christopher S.), 1954-, Duncan, &hellip;

Springer
12 図書 The definition of standard ML : revised

Milner, Robin, 1934-

MIT Press