検索結果 20 件中の 1 件目～ 10 件目を表示
以下の条件で検索しました。
主題=Logic programming--Congresses;
主題=Logic programming--Congresses;
ブックマーク登録
メール送信
他アクション-
図書1.
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Michel Parigot, Andrei Voronkov (eds.)- 出版情報:
- Berlin ; New York : Springer-Verlag , c2000
-
図書
-
図書3.
Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Herbert Kuchen, Kazunori Ueda (eds.)- 出版情報:
- Berlin : Springer , c2001
-
図書4.
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
Annalisa Bossi (ed.)- 出版情報:
- Berlin : Springer , c2000
-
図書5.
Logic programming : proceedings of the seventh international conference
edited by David H.D. Warren and Peter Szeredi- 出版情報:
- Cambridge, Mass. : MIT Press , c1990
- シリーズ名:
-
Logic programming ;
-
図書6.
Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text (: gw ; : us)
Johan Jeuring, Erik Meijer (eds.)- 出版情報:
- Berlin ; Tokyo : Springer-Verlag , c1995
-
図書7.
Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah (: pbk. ; : microfiche ; : case)
Symposium on Logic Programming ; IEEE Computer Society- 出版情報:
- Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society , c1986
-
図書8.
Logic programming : proceedings of the sixth international conference (: pbk)
edited by Giorgio Levi and Maurizio Martelli- 出版情報:
- Cambridge, Mass. : MIT Press , c1989
- シリーズ名:
-
Logic programming ;
-
図書9.
Logic programming : proceedings of the fifth international conference and symposium (: set ; v. 1 ; v. 2)
edited by Robert A. Kowalski and Kenneth A. Bowen- 出版情報:
- Cambridge, Mass. : MIT Press , c1988
-
図書10.
Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings (: gw ; : us)
P. Deransart, B. Lorho, J. Małuszyński (eds.)- 出版情報:
- Berlin ; Tokyo : Springer-Verlag , c1989
