Gabbay, Dov M.

ID:DA00031897

Alias Name

Gabbay, D. (Dov)

Gabbay, D. M. (Dov M.)

Search authors sharing the same name

Search Results61-74 of 74

  • 4 / 4
  • Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

    Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

    Springer-Verlag c1994 Lecture notes in computer science 827 . Lecture notes in artificial intelligence

    : gw , : us

    Available at 61 libraries

  • Nonmonotonic reasoning and uncertain reasoning

    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

    Available at 59 libraries

  • Deduction methodologies

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann

    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. 2

    Available at 56 libraries

  • Handbook of logic in artificial intelligence and logic programming

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

    Clarendon Press , Oxford University Press 1993-1998

  • Logical foundations

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann

    Clarendon Press , 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

    Available at 63 libraries

  • Background : mathematical structures

    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. 1

    Available at 70 libraries

  • Background : computational structures

    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

    Available at 71 libraries

  • Topics in the philosophy of language

    edited by D. Gabbay and F. Guenthner

    Kluwer Academic Publishers c1989 Synthese library v. 167 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 4

    Available at 64 libraries

  • Alternatives to classical logic

    edited by D. Gabbay and F. Guenthner

    D. Reidel , 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

    Available at 72 libraries

  • Extensions of classical logic

    edited by D. Gabbay and F. Guenthner

    D. Reidel c1984 Synthese library v. 165 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 2

    Available at 74 libraries

  • Elements of classical logic

    edited by D. Gabbay and F. Guenthner

    D. Reidel , 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

    : [pbk.]

    Available at 77 libraries

  • Semantical investigations in Heyting's intuitionistic logic

    Dov M. Gabbay

    D. Reidel , distributed in the U.S.A. and Canada by Kluwer Boston c1981 Synthese library v. 148

    Available at 40 libraries

  • Investigations in modal and tense logics with applications to problems in philosophy and linguistics

    Dov M. Gabbay

    D. Reidel Pub. Co. c1976 Synthese library v. 92

    Available at 58 libraries

  • Handbook of the philosophy of science

    general editors, Dov M. Gabbay, Paul Thagard, and John Woods

    Elsevier

  • 4 / 4

Search this author

Page Top