Bob Coecke, Luke Ong, Prakash Panangaden (eds.)

Springer c2013 Lecture notes in computer science 7860 . Lecture notes in artificial intelligence

所蔵館4館

Samson Abramsky ... [et al.] (eds.)

Springer c2010 Lecture notes in computer science 6198-6199 . Advanced research in computing and software science

pt. 1 , pt. 2

所蔵館11館

edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

Clarendon Press , Oxford University Press 2000 Handbook of logic in computer science v. 5

所蔵館46館

edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky

Clarendon Press 1994 Handbook of logic in computer science v. 3

所蔵館72館

edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

Clarendon Press 1992 Handbook of logic in computer science v. 2

所蔵館71館

S. Abramsky, T.S.E. Maibaum, (eds.)

Springer-Verlag c1991 Lecture notes in computer science 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1

: gw , : us

所蔵館57館