>> Amazon.co.jp
このページのQRコード

Non-Monotonic Reasoning : 2nd International Workshop Grassau, FRG, June 13–15, 1988 Proceedings

種類:
電子ブック
責任表示:
edited by M. Reinfrank, J. Kleer, M. L. Ginsberg, E. Sandewall
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1989
著者名:
シリーズ名:
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 346
ISBN:
9783540460732 [354046073X]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-50701-9
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Non-Monotonic Reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988. Proceedings

Reinfrank, Michael., Kleer, Johan de., Ginsberg, Matthew L., Sandewall, Erik., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings

Barter, Christopher J., Brooks, Michael J., SpringerLink (Online service)

Springer-Verlag
2 図書 Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings

Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning

Springer-Verlag
8 電子ブック Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings

Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings

Kaplan, S., Okada, M., SpringerLink (Online service)

Springer-Verlag
9 電子ブック CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Börger, Egon, Büning, Hans Kleine, Richter, Michael M., SpringerLink (Online service)

Springer-Verlag
4 電子ブック CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Börger, Egon, Büning, Hans Kleine, Richter, Michael M., SpringerLink (Online service)

Springer-Verlag
10 電子ブック Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Dershowitz, Nachum, Lindenstrauss, Naomi, SpringerLink (Online service)

Springer-Verlag
5 電子ブック The Logic of Theory Change : Workshop, Konstanz, FRG, October 13–15, 1989 Proceedings

Fuhrmann, André, Morreau, Michael, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Marek, V. Wiktor, Nerode, Anil, Truszczyński, M., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Computer Assisted Learning : 3rd International Conference, ICCAL '90 Hagen, FRG, June 11–13, 1990 Proceedings

Norrie, Douglas H., Six, Hans-Werner, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M., SpringerLink (Online service)

Springer-Verlag