Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

>> Google Books

Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

フォーマット:

図書

責任表示:

K. Furukawa, H. Tanaka, T. Fujisaki (eds.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1991

形態:

viii, 183 p. ; 25 cm

著者名:

シリーズ名:

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

書誌ID:

BA12280258

ISBN:

9783540539193 [3540539190] (: gw)

9780387539195 [0387539190] (: us)

子書誌情報

所蔵情報

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

書誌詳細

主題:	Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1 NDC8 : 007.64 LCSH : Logic programming -- Congresses
注記:	"Papers presented at the Eighth Logic Programming Conference"--Foreword Includes bibliographies
タイトル言語:	eng
著者名ヨミ:	フルカワ, コウイチタナカ, ホズミフジサキ, テツノスケ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助 Springer-Verlag	7 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag
2 図書 Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 Logic Programming Conference, 古川, 康一(1942-), 藤崎, 哲之助, 田中, 穂積(1941-) Springer-Verlag	8 図書 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
3 図書 Logic programming : Proceedings of the eighth International Conference International Conference on Logic Programming, 古川, 康一(1942-) MIT Press	9 図書 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
4 図書 Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings ILP, Page, David, 1963- Springer	10 図書 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 Logic Programming Conference, 和田, 英一(1931-) Springer-Verlag
5 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings LPAR, Pfenning, Frank Springer-Verlag	11 図書 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings LPNMR, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald Springer
6 図書 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	12 図書 Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming MIT Press