Edinburgh LCF : a mechanised logic of computation

フォーマット:
図書
責任表示:
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1979
形態:
viii, 159 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 78 <BA00009279>
書誌ID:
BA07298877
ISBN:
9783540097242 [3540097244] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387097244 [0387097244] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 The denotational description of programming languages : an introduction

Gordon, Michael J. C., 1948-

Springer-Verlag
7 図書 Monte Carlo methods

Hammersley, J. M. (John Michael), Handscomb, D. C. (David Christopher)

Chapman and Hall
2 図書 Computing tomorrow : future research directions in computer science

Wand, I. C. (Ian C.), 1941-, Milner, Robin, 1934-

Cambridge University Press
8 図書 Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977

Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Fourman, M. P., 1950-, Mulvey, C. &hellip;

Springer-Verlag
3 図書 Communicating and mobile systems : the π-calculus

Milner, Robin, 1934-

Cambridge University Press
9 図書 The computational complexity of machine learning

Kearns, Michael J.

MIT Press
4 図書 A computational logic

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

Academic Press
10 図書 The computation of fixed points and applications

Todd, Michael J., 1947-

Springer-Verlag
5 図書 Mathematical logic and programming languages

Shepherdson, J. C., Hoare, C. A. R. (Charles Antony Richard), 1934ー

Prentice Hall International
11 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
6 図書 Beliefs, reasoning, and decision making : psycho-logic in honor of Bob Abelson

Abelson, Robert P., Schank, Roger C. 1948-, Langer, Ellen J., 1947-

L. Erlbaum
12 図書 Computational geometry for design and manufacture

Faux, I. D., Pratt, Michael J.

Halsted Press, Ellis Horwood Ltd