Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings

>> Google Books

所蔵情報QRコード

Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, c1992

形態:

x, 324 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 636 . Lecture notes in artificial intelligence <BA00009279>

著者名:

ISBN:

9783540559306 [3540559302] (: gw)
9780387559308 [0387559302] (: us)

書誌ID:

BA1837813X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Logic programming--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Logic Programming in Action Logic Programming Summer School, Comyn, Gérard, Fuchs, Norbert E., Ratcliffe, Michael SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	7 図書 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
2 図書 Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings International Workshop on Logic Program Synthesis and Transformation, Fuchs, N. E. (Norbert E.) Springer	8 図書 Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. … Russian Conference on Logic Programming, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
3 図書 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	9 図書 Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings ILP, Rouveirol, Céline, Sebag, Miche︡le Springer
4 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario) Springer	10 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming Springer-Verlag
5 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	11 図書 Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., 1949-, North Atlantic … Springer-Verlag
6 図書 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings International Workshop, META, Pettorossi, A. (Alberto), 1947- Springer-Verlag	12 図書 Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers International Workshop on Logic Program Synthesis and Transformation, Hill, Patricia M. Springer

1

2

3

4

5

6

7

8

9

10

11

12