>> Google Books
所蔵情報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
形態:
viii, 360 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 798 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540580256 [3540580255] (: gw)
9780387580258 [0387580255] (: us)
書誌ID:
BA22697674
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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)
7 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings (: gw ; : us)

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

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

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

Springer-Verlag
8 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings (: us ; : gw)

International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955-

Springer-Verlag
3 電子ブック 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)
9 図書 Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

International Workshop on Logic Program Synthesis and Transformation, Lau, K.-K. (Kung-Kiu), 1953-

Springer
4 図書 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings (: gw ; : us)

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

Springer-Verlag
10 図書 Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings

International Conference on Logic Programming, Stuckey, Peter J.

Springer
5 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)

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

Springer-Verlag
11 図書 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, …

Springer-Verlag
6 図書 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings (: gw ; : us)

International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958-

Springer-Verlag
12 図書 Inductive logic programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

ILP, Horváth, D. Tamás, Yamamoto, Akihiro, 1960-

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