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

Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings

種類:
図書
責任表示:
Roy Dyckhoff (ed.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1994
著者名:
シリーズ名:
Lecture notes in computer science ; 798 . Lecture notes in artificial intelligence <BA00009279>
ISBN:
9783540580256 [3540580255] (: gw)  CiNii Books  Calil
9780387580258 [0387580255] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings

Dyckhoff, Roy, SpringerLink (Online service)

Springer-Verlag
7 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
2 電子ブック Extensions of Logic Programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

Dyckhoff, Roy., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings

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

Springer-Verlag
3 図書 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings

International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, &hellip;

Springer-Verlag
9 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, Workshop on &hellip;

Springer-Verlag
4 図書 Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-, Herre, Heinrich, Schroeder-Heister, &hellip;

Springer-Verlag
10 図書 Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : …

International Workshop on Logic Program Synthesis and Transformation, Fribourg, Laurent, 1957-, Turini, Franco, 1949-, &hellip;

Springer-Verlag
5 電子ブック Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter, SpringerLink (Online service)

Springer-Verlag
11 図書 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
6 電子ブック Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings

Dyckhoff, Roy., Herre, Heinrich., Schroeder-Heister, Peter., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, …

International Workshop on Logic Program Synthesis and Transformation, Deville, Yves, 1960-, British Computer Society

Springer-Verlag