著者典拠情報

著者標目形：
Gabbay, Dov M., 1945-
属性：
Personal
日付：
1945
から見よ参照形：
Gabbay, D. (Dov), 1945-
Gabbay, D. M. (Dov M.), 1945-
注記：
Author's Investigations in modal and tense logics with applications to problems in philosophy and linguistics, c1976
Handbook of philosophical logic, c1983- : v. 1-2, CIP t.p. (D. Gabbay) ackn. (D.M. Gabbay)
EDSRC:Logic, language, and reasoning : essays in honour of Dov Gabbay / edited by Hans Jürgen Ohlbach and Uwe Reyle(Kluwer Academic, c1999): pref. (his [i.e. Dov Gabbay's] 50th birthday in Oct. 1995 [i.e. "b. Oct. 1945"] p.173 (Dov M. Gabbay)
EDSRC:Handbook of philosophical logic / edited by D.M. Gabbay and F. Guenthner (Kluwer Academic Publishers, c2001-2002)
Handbook of philosophical logic, c2001-2002: t.p. (D.M. Gabbay, King's College, London, U.K.)
著者典拠ID：
DA00031897


1.

図書
図書
1. Handbook of philosophical logic. 2nd ed (v. 1 - v. 5)
edited by D.M. Gabbay and F. Guenthner
出版情報: Dordrecht : Kluwer Academic Publishers, c2001-2002
所蔵情報: 図書館
2.

図書
図書
2. Dynamic syntax : the flow of language understanding (: hbk ; : pbk)
Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
出版情報: Oxford ; Malden, Mass : Blackwell Publishers, 2001
所蔵情報: 図書館
3.

図書
図書
3. Frontiers of combining systems (2)
edited by Dov M. Gabbay, Maarten de Rijke
出版情報: Baldock : Research Studies Press, c2000
シリーズ名: Studies in logic and computation ; 7
所蔵情報: 図書館
4.

図書
図書
4. Logic and algebraic methods
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: 図書館
5.

図書
図書
5. Logic programming
edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming ; v. 5
所蔵情報: 図書館
6.

図書
図書
6. Handbook of logic in artificial intelligence and logic programming
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
7.

図書
図書
7. Epistemic and temporal reasoning
edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton
出版情報: Oxford : Clarendon Press , Oxford ; New York : 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
所蔵情報: 図書館
8.

図書
図書
8. 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
所蔵情報: 図書館
9.

図書
図書
9. Logic Colloquium '92 (: cloth ; : paper)
edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke
出版情報: Stanford, Calif. : CSLI Publications, c1995
シリーズ名: Studies in logic, language and information
所蔵情報: 図書館
10.

図書
図書
10. Semantic structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報: Oxford : Clarendon Press, 1994
シリーズ名: Handbook of logic in computer science ; v. 3
所蔵情報: 図書館
11.

図書
図書
11. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : 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. 2
所蔵情報: 図書館
12.

図書
図書
12. Nonmonotonic reasoning and uncertain reasoning
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
出版情報: Oxford : Clarendon Press , Oxford ; New York : 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
所蔵情報: 図書館
13.

図書
図書
13. Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence
所蔵情報: 図書館
14.

図書
図書
14. Temporal logic : mathematical foundations and computational aspects (v. 1 ; v. 2)
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
出版情報: Oxford ; New York : Clarendon Press , New York : Oxford University Press, 1994-
シリーズ名: Oxford logic guides ; 28, 40
所蔵情報: 図書館
15.

図書
図書
15. Elements of classical logic (: set ; : pbk)
edited by D. Gabbay and F. Guenthner
出版情報: Dordrecht : Kluwer Academic, c1994
シリーズ名: Synthese library ; v. 164 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 1
所蔵情報: 図書館
16.

図書
図書
16. Extensions of classical logic (: set ; : pbk)
edited by D. Gabbay and F. Guenthner
出版情報: Dordrecht : Kluwer Academic, c1994
シリーズ名: Synthese library ; v. 165 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 2
所蔵情報: 図書館
17.

図書
図書
17. Alternatives of classical logic (: set ; : pbk)
edited by D. Gabbay and F. Guenthner
出版情報: Dordrecht : Kluwer Academic, c1994
シリーズ名: Synthese library ; v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3
所蔵情報: 図書館
18.

図書
図書
18. Topics in the philosophy of language (: set ; : pbk)
edited by D. Gabbay and F. Guenthner
出版情報: Dordrecht : Kluwer Academic, c1994
シリーズ名: Synthese library ; v. 167 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 4
所蔵情報: 図書館
19.

図書
図書
19. What is a logical system?
edited by D.M. Gabbay
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1994
シリーズ名: Studies in logic and computation ; 4
所蔵情報: 図書館
20.

図書
図書
20. Logical foundations
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: 図書館
21.

図書
図書
21. Background : computational structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 2
所蔵情報: 図書館
22.

図書
図書
22. 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
シリーズ名: Handbook of logic in computer science ; v. 1
所蔵情報: 図書館
23.

図書
図書
23. Alternatives to classical logic
edited by D. Gabbay and F. Guenthner
出版情報: Dordrecht ; Boston : D. Reidel , Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986
シリーズ名: Synthese library ; v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3
所蔵情報: 図書館
24.

図書
図書
24. Extensions of classical logic
edited by D. Gabbay and F. Guenthner
出版情報: Dordrecht ; Boston : D. Reidel, c1984
シリーズ名: Synthese library ; v. 165 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 2
所蔵情報: 図書館
25.

図書
図書
25. Elements of classical logic (: [pbk.])
edited by D. Gabbay and F. Guenthner
出版情報: Dordrecht ; Boston : D. Reidel , Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub., c1983
シリーズ名: Synthese library ; v. 164 . Handbook of philosophical logic ; v. 1
所蔵情報: 図書館