ID:DA00031897
Gabbay, D. (Dov)
Gabbay, D. M. (Dov M.)
同姓同名の著者を検索
edited by Dov M. Gabbay, Maarten de Rijke
Research Studies Press c2000 Studies in logic and computation 7
2
所蔵館5館
edited by Hans Jürgen Ohlbach and Uwe Reyle
Kluwer Academic Publishers c1999 Trends in logic : studia logica library v. 5
所蔵館18館
edited by Dov M. Gabbay and Heinrich Wansing
Kluwer Academic Publishers c1999 Applied logic series v. 13
所蔵館31館
Dov M. Gabbay
Clarendon Press c1999 Oxford logic guides 38
: hbk
所蔵館20館
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
Clarendon Press 1998 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson v. 5
所蔵館47館
Dov M. Gabbay ... [et al.] (eds.)
Springer c1997 Lecture notes in computer science 1244 . Lecture notes in artificial intelligence
所蔵館44館
Oxford University Press , Clarendon 1996- Oxford logic guides 33
v. 1
所蔵館28館
Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)
Springer c1996 Lecture notes in computer science 1085 . Lecture notes in artificial intelligence
所蔵館55館
edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke
CSLI Publications c1995 Studies in logic, language and information
: cloth , : paper
所蔵館21館
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
Clarendon Press 1995 Handbook of logic in computer science v. 4
所蔵館58館
edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton
Clarendon Press , Oxford University Press 1995 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson v. 4
所蔵館52館
Clarendon Press 1994 Handbook of logic in computer science v. 3
所蔵館72館
edited by D.M. Gabbay
Clarendon Press , Oxford University Press 1994 Studies in logic and computation 4
所蔵館35館
edited by D. Gabbay and F. Guenthner
Kluwer Academic c1994 Synthese library v. 167 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 4
: set , : pbk
所蔵館26館
Kluwer Academic c1994 Synthese library v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3
所蔵館24館
Kluwer Academic c1994 Synthese library v. 165 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 2
Kluwer Academic c1994 Synthese library v. 164 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 1
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
Clarendon Press , Oxford University Press 1994- Oxford logic guides 28, 40
v. 1 , v. 2
所蔵館53館
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Springer-Verlag c1994 Lecture notes in computer science 827 . Lecture notes in artificial intelligence
: gw , : us
所蔵館62館
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
Clarendon Press , Oxford University Press 1994 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson v. 3
所蔵館59館