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

Semantic modelling

種類:
図書
責任表示:
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報:
Oxford : Clarendon Press, 1995
著者名:
シリーズ名:
Handbook of logic in computer science ; v. 4 <BA19116693>
ISBN:
9780198537809 [0198537808]  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 図書 Semantic structures

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

Clarendon Press
7 図書 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

International Joint Conference on Theory and Practice of Software Development, Advances in Distributed Computing, &hellip;

Springer-Verlag
2 図書 Logic and algebraic methods

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

Clarendon Press
8 図書 What is a logical system?

Gabbay, Dov M., 1945-

Clarendon Press, Oxford University Press
3 図書 Background : computational structures

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

Clarendon Press
9 図書 AMPL : a modeling language for mathematical programming

Fourer, Robert, Gay, David M., Kernighan, Brian W., 1942-

Boyd & Fraser
4 図書 Background : mathematical structures

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

Clarendon Press
10 図書 FROM ERROR-CORRECTING CODES THROUGH SPHERE PACKINGS TO SIMPLE GROUPS

THOMPSON, THOMAS M.

THE MATHEMATICAL ASSOCIATION OF AMERICA
5 図書 Logic programming

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

Clarendon Press
11 図書 Image sequence processing and dynamic scene analysis

NATO Advanced Study Institute on Image Sequence Processing and Dynamic Scene Analysis, Huang, Thomas S., 1936-

Springer-Verlag
6 図書 Colloquium on Trees in Algebra and Programming (CAAP '91)

International Joint Conference on Theory and Practice of Software Development, Colloquium on Trees in Algebra and &hellip;

Springer-Verlag
12 図書 Elements of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub.