Manoonpong, Poramate, Gabbay, Dov M., Siekmann, Jörg
Springer Berlin Heidelberg
|
International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., Ohlbach, Hans Jürgen
Springer Berlin Heidelberg
|
Helbig, Hermann, Gabbay, Dov M., Siekmann, Jörg
Springer Berlin Heidelberg
|
Gabbay, Dov M.; Barwise, John; Dubois, Didier, Barwise, John, Dubois, Didier, Klement, Erich Peter, Prade, Henri
Springer Netherlands
|
Stock, Oliviero, Bundy, A., Gabbay, Dov M., Siekmann, Jörg, Zancanaro, Massimo, PEACH (Project)
Springer Berlin Heidelberg
|
Gabbay, Dov M.; Barwise, Jon; Magnani, Lorenzo, Magnani, L., Nersessian, N.J., Pizzi, Claudio
Springer Netherlands
|
Torra, Vicenç, Gabbay, Dov M., Narukawa, Yasuo, Siekmann, Jörg, Torra, Vicenc
Springer Berlin Heidelberg
|
Crocker, Matthew W.; Siekmann, Jörg, Crocker, Matthew W., Siekmann, Jörg
Springer Berlin Heidelberg
|
Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)
Clarendon Press, Oxford University Press
|
Brazdil, Pavel, Giraud-Carrier, Christophe, Siekmann, Jörg, Soares, Carlos, Vilalta, Ricardo, edited by D. M. Gabbay, …
Springer Berlin Heidelberg
|
International Joint Conference on Qualitative and Quantitative Practical Reasoning, Gabbay, Dov M.
Springer Berlin Heidelberg
|
Gabbay, Gabbay, Dov M., Ohlbach, Hans Jürgen
Springer Berlin Heidelberg
|