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

Process algebra

種類:
図書
責任表示:
J.C.M. Baeten, W.P. Weijland
出版情報:
Cambridge ; New York : Cambridge University Press, 1990
著者名:
シリーズ名:
Cambridge tracts in theoretical computer science ; 18 <BA01121831>
ISBN:
9780521400435 [0521400430]  CiNii Books  Calil
注記:
Bibliography: p. 227-234
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 An algebraic introduction to mathematical logic

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag
7 図書 Deduction methodologies

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

Clarendon Press, Oxford University Press
2 図書 Applications of process algebra

Baeten, J. C. M

Cambridge University Press
8 図書 Nonmonotonic reasoning and uncertain reasoning

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

Clarendon Press, Oxford University Press
3 図書 The axiomatic method : an introduction to mathematical logic

Lightstone, A. H.

Prentice-Hall
9 図書 Logical foundations

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

Clarendon Press, Oxford University Press
4 図書 Process algebra with timing

Baeten, J.C.M., Middelburg, C.A.

Springer
10 図書 Handbook of logic in artificial intelligence and logic programming

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

Clarendon Press, Oxford University Press
5 図書 Eleven papers on logic, algebra, analysis and topology

Budak, B. M. (Boris Mikhaĭlovich)

American Mathematical Society
11 図書 Algebraic systems

Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich), 1909-1967

Springer-Verlag
6 図書 Automated deduction : a basis for applications

Bibel, W., 1938-, Schmitt, P. H. (Peter H.), 1948-

Kluwer Academic
12 図書 Algebraic methods of mathematical logic

Rieger, Ladislav, 1916-1963, Basch, Michael

Academia, Academic Press