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

Nonmonotonic and Inductive Logic : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings

種類:
電子ブック
責任表示:
edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1993
著者名:
シリーズ名:
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 659
ISBN:
9783540475576 [3540475575]  CiNii Books  Calil
ローカル注記:
岐阜大学構成員専用E-BOOKS (Gifu University members only)
オンライン
http://dx.doi.org/10.1007/BFb0030385
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

Brewka, Gerhard., Jantke, Klaus P., Schmitt, Peter H., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Analogical and Inductive Inference : International Workshop AII '92 Dagstuhl Castle, Germany, October 5–9, 1992 Proceedings

Jantke, Klaus P., SpringerLink (Online service)

Springer-Verlag
2 電子ブック Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings

Dix, J., Jantke, K. P., Schmitt, P. H., SpringerLink (Online service)

Springer-Verlag
8 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 …

Baumgartner, Peter, Hähnle, Reiner, Possega, Joachim, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings

Jantke, Klaus P., SpringerLink (Online service)

Springer-Verlag
9 電子ブック Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings

Jantke, Klaus P., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning …

Arikawa, Setsuo, Jantke, Klaus P., SpringerLink (Online service)

Springer-Verlag
10 電子ブック 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
5 電子ブック Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

Jantke, Klaus P., Schmitt, Peter H., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 電子ブック Logics in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings

Pearce, D., Wagner, G., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Nonclassical Logics and Information Processing : International Workshop Berlin, Germany, November 9–10, 1990 Proceedings

Pearce, David, Wansing, Heinrich, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

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

Springer-Verlag