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

Proof, language, and interaction : essays in honour of Robin Milner

種類:
図書
責任表示:
edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
出版情報:
Cambridge, Mass. : MIT Press, c2000
著者名:
シリーズ名:
Foundations of computing <BA07248970>
ISBN:
9780262161886 [0262161885] (: hc)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-

Springer
7 図書 Edinburgh LCF : a mechanised logic of computation

Gordon, Michael J. C., 1948-, Milner, Robin, 1934-, Wadsworth, Christopher P., 1946-

Springer-Verlag
2 図書 Computing

Coffman, E. G. (Edward Grady), 1934-, Lenstra, J. K., 1947-, Rinnooy Kan, A. H. G., 1949-

North-Holland
8 図書 The impact of emerging technologies on computer science and operations research

Nash, Stephen (Stephen G.), Sofer, Ariela

Kluwer Academic Publishers
3 図書 Commentary on Standard ML

Milner, Robin, 1934-, Tofte, Mads, 1959-

MIT Press
9 図書 Computational logic : essays in honor of Alan Robinson

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

MIT Press
4 図書 Hyperedge replacement : grammars and languages

Habel, A.

Springer-Verlag
10 図書 Language as gesture : essays in poetry

Blackmur, R. P. (Richard P.), 1904-1965

Allen & Unwin
5 図書 Logic, language, and computation : festschrift in honor of Satoru Takasu

高須, 達(1931-), Jones, Neil D., 1941-, 萩谷, 昌己(1957-), 佐藤, 雅彦(1947-)

Springer-Verlag
11 図書 Mirror up to Shakespeare : essays in honour of G.R. Hibbard

Hibbard, G. R. (George Richard), 1915-, Gray, J. C. (Jack Cooper), 1928-

University of Toronto Press
6 図書 Informatics : 10 years back, 10 years ahead

Wilhelm, Reinhard, 1946-

Springer
12 図書 Ideas and institutions of Victorian Britain : essays in honour of George Kitson Clark

Kitson Clark, G. S. R. (George Sidney Roberts), 1900-1975, Robson, Robert, 1929-

Bell