Background : mathematical structures

フォーマット:
図書
責任表示:
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
言語:
英語
出版情報:
Oxford : Clarendon Press, 1992
形態:
xii, 827 p. : ill. ; 24 cm
著者名:
シリーズ名:
Handbook of logic in computer science ; v. 1 <BA19116693>
書誌ID:
BA19116933
ISBN:
9780198537359 [0198537352]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

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

Clarendon Press

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

Clarendon Press, Oxford University Press

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

Clarendon Press

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

Clarendon Press, Oxford University Press

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

Clarendon Press

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

Clarendon Press, Oxford University Press

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

Clarendon Press, Oxford University Press

Hein, James L.

Jones and Bartlett

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

Clarendon Press

Gabbay, Dov M., 1945-, Olivetti, Nicola

Kluwer

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

Clarendon Press, Oxford University Press

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

Kluwer Academic