Practical Reasoning

フォーマット:
電子ブック
責任表示:
International Conference on Formal and Applied Practical Reasoning ; Gabbay, Dov M. ; Ohlbach, Hans Jürgen
言語:
英語
出版情報:
Springer Berlin Heidelberg, 1996
著者名:
ISBN:
9783540613138 [3540613137]  CiNii Books  Webcat Plus  Google Books
9783540684541 [3540684549]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Temporal Logic

Gabbay, Gabbay, Dov M., Ohlbach, Hans Jürgen

Springer Berlin Heidelberg

Gabbay, Dov M.; Zakharyaschev, Michael; Goncharov, Sergei S., Gabbay, Dov M., Goncharov, S. S., Zakharyaschev, Michael, …

Springer New York

International Joint Conference on Qualitative and Quantitative Practical Reasoning, Gabbay, Dov M.

Springer Berlin Heidelberg

Gabbay, Dov M.; Barwise, John; Dubois, Didier, Barwise, John, Dubois, Didier, Klement, Erich Peter, Prade, Henri

Springer Netherlands

Gabbay, Dov M., Siekmann, Jörg

Springer Berlin Heidelberg

Gabbay, Dov M.; Barwise, Jon; Magnani, Lorenzo, Magnani, L., Nersessian, N.J., Pizzi, Claudio

Springer Netherlands

PPSWR 2004, Ohlbach, Hans Jürgen, Schaffert, Sebastian

Springer Berlin / Heidelberg

Gabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael, Gabbay, Dov M., Goncharov, S. S., Goncharov, Sergei, …

Springer New York

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press

Gabbay, Dov M., Schlechta, Karl

Springer

6 電子ブック Formal Aspects of Context

Gabbay, Dov M.; Barwise, John; Bonzon, Pierre, Cavalcanti, Marcos, Nossum, Rolf

Springer Netherlands

Gabbay, Dov M., Schlechta, Karl

Springer Berlin Heidelberg