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

Semantics and logics of computation

種類:
図書
責任表示:
edited by Andrew M. Pitts, Peter Dybjer
出版情報:
New York : Cambridge University Press, 1997
著者名:
シリーズ名:
Publications of the Newton Institute <BA22465034>
ISBN:
9780521580571 [0521580579]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic programming

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

Clarendon Press
7 図書 MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

ZHONGWAN, LU

WORLD SCIENTIFIC
2 図書 Logic and algebraic methods

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
8 図書 COMPUTATIONAL GRAPH THEORY

<ED. BY> TINHOFER, G. <ET AL.>

SPRINGER
3 図書 Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

CCL, Jouannaud, Jean-Pierre

Springer-Verlag
9 図書 Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Maher, Michael, 1959-

MIT Press
4 図書 A PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS

ALLISON, LLOYD

CAMBRIDGE UNIV. PRESS
10 図書 Logic programming : proceedings of the eleventh International Conference on Logic Programming

Van Hentenryck, Pascal, International Conference on Logic Programming (11th)

MIT Press
5 図書 THE SEMANTICS OF PROGRAMMING LANGUAGES : AN ELEMENTARY INTRODUCTION USING STRUCTURAL OPERATIONAL SEMANTICS

HENNESSY, MATTHEW

JOHN WILEY & SONS
11 図書 Higher order logic and hardware verification

Melham, T. F. (Tom F.)

Cambridge University Press
6 図書 The logic of computer arithmetic

Flores, Ivan

Prentice-Hall
12 電子ブック Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel, SpringerLink (Online service)

Springer-Verlag