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

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings

種類:
図書
責任表示:
J. Dix, K.P. Jantke, P.H. Schmitt, eds
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
著者名:
シリーズ名:
Lecture notes in computer science ; 543 . Lecture notes in artificial intelligence <BA00009279>
ISBN:
9783540545644 [3540545646] (: Berlin)  CiNii Books  Calil
9780387545646 [0387545646] (: New York)  CiNii Books  Calil
注記:
Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Inference
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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
7 図書 Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-

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 図書 Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings

Schroeder-Heister, Peter Joseph, 1953-, International Workshop on Extensions of Logic Programming

Springer-Verlag
3 電子ブック 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-Verlag
9 電子ブック Analogical and Inductive Inference : International Workshop AII '92 Dagstuhl Castle, Germany, October 5–9, 1992 Proceedings

Jantke, Klaus P., SpringerLink (Online service)

Springer-Verlag
4 電子ブック 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
10 電子ブック Analogical and Inductive Inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992. Proceedings

Jantke, Klaus P., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, proceedings

International Workshop AII, Jantke, Klaus P.

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

Jantke, Klaus P., SpringerLink (Online service)

Springer-Verlag
6 図書 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : …

TABLEAUX, Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim

Springer Verlag
12 電子ブック 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