>> Google Books
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
フォーマット:
図書
責任表示:
J. van Eijck (ed.)
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
形態:
ix, 561 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 478 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA12064161
ISBN:
9783540536864 [3540536868] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387536866 [0387536868] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

JELIA, Pearce, David A., 1952-, Wagner, G. (Gerd), 1957-

Springer-Verlag

Brewka, Gerhard, Jantke, Klaus P., Schmitt, P. H. (Peter H.), 1948-, International Workshop on Nonmonotonic and &hellip;

Springer-Verlag

JELIA, Alferes, José Júlio, Pereira, Luís Moniz, Orlowska, Ewa

Springer

International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio, 1959-

Springer

JELIA, MacNish, Craig, Pearce, David A., 1952-, Pereira, Luís Moniz

Springer-Verlag

Grabowski, Jan, Lescanne, Pierre, International Workshop on Algebraic and Logic Programming, Wechler, Wolfgang, 1940-

Springer-Verlag

Dix, J. (Jürgen), 1961-, International Workshop on Nonmonotonic and Inductive Inference, Jantke, Klaus P., Schmitt, P. &hellip;

Springer-Verlag

Logic Colloquium, Stoltenberg-Hansen, Viggo, Väänänen, J. (Jouko), 1950-, Association for Symbolic Logic

Association for Symbolic Logic, A K Peters

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., &hellip;

North-Holland

International Workshop PLILP, Deransart, Pierre, 1945-, Małuszyński, Jan, 1941-

Springer-Verlag

International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941-

Springer-Verlag