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

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>

書誌ID:

BA22697674

ISBN:

9783540580256 [3540580255] (: gw)

9780387580258 [0387580255] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

書誌詳細

主題:	Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1/1 LCSH : Logic programming -- Congresses
LCCN:	94015491
注記:	Includes bibliographical references
タイトル言語:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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, … Springer-Verlag	7 図書 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
2 図書 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, … Springer-Verlag	8 図書 Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings International Symposium, PLILP, Bruynooghe, M. (Maurice), Penjam, Jaan, 1955- Springer-Verlag
3 図書 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958- Springer-Verlag	9 図書 Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings ILP, Lavrač, Nada, Džeroski, Sašo, 1968- Springer
4 図書 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	10 図書 Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio … International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio, 1959- Springer
5 図書 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. … Springer-Verlag	11 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario) Springer-Verlag
6 図書 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-, … Springer-Verlag	12 図書 Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings International Symposium, PLILP, Bruynooghe, M. (Maurice), Wirsing, M. (Martin) Springer-Verlag