著者典拠情報

標目形：
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


 close
1.

図書
図書
1. 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 , New York : Oxford University Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: loading…
2.

図書
図書
2. Logic programming
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : 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
所蔵情報: loading…
3.

図書
図書
3. 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
所蔵情報: loading…
4.

図書
図書
4. Qualitative and quantitative practical reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings
Dov M. Gabbay ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1244 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1085 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. 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
所蔵情報: loading…
7.

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

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

図書
図書
9. 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
所蔵情報: loading…
10.

図書
図書
10. 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
所蔵情報: loading…
11.

図書
図書
11. 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
所蔵情報: loading…
12.

図書
図書
12. 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
所蔵情報: loading…
13.

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

図書
図書
14. 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
所蔵情報: loading…
15.

図書
図書
15. 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
所蔵情報: loading…
16.

図書
図書
16. 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
所蔵情報: loading…
17.

図書
図書
17. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Dov M. Gabbay
出版情報: Dordrecht, Holland : D. Reidel Pub. Co., c1976
シリーズ名: Synthese library ; v. 92
所蔵情報: loading…