>> Google Books
所蔵情報QRコード

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>
著者名:
ISBN:
9783540539193 [3540539190] (: gw)
9780387539195 [0387539190] (: us)
書誌ID:
BA12280258
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 (: gw ; : us)

Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助

Springer-Verlag
7 図書 Fuji International Workshop on Functional and Logic Programming : Susono, Japan, July 17-19, 1995

Fuji International Workshop on Functional and Logic Programming, 武市, 正人(1948-), 井田, 哲雄(1947-)

World Scientific
2 図書 Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 (: gw ; : us)

Logic Programming Conference, 古川, 康一(1942-), 藤崎, 哲之助, 田中, 穂積(1941-)

Springer-Verlag
8 図書 Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. … (: gw ; : us)

Russian Conference on Logic Programming, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
3 図書 日本語情報処理

石綿, 敏雄(1928-), 西村, 恕彦(1935-), 田中, 穂積(1941-), 菊池, 光昭, 藤崎, 哲之助, 高橋, 延匡(1933-)

近代科学社
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 図書 渕一博 : その人とコンピュータサイエンス

田中, 穂積(1942-), 黒川, 利明(1948-), 太田, 耕三, 古川, 康一(1942-), 岡田, 久雄(1943-)

近代科学社
10 図書 Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

ILP, Camacho, Rui, King, Ross, Srinivasan, Ashwin

Springer
5 図書 Discovery science : second International Conference, DS '99, Tokyo, Japan, December 6-8, 1999 : proceedings

International Conference on Discovery Science, 有川, 節夫, 古川, 康一(1942-)

Springer
11 図書 Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming

International Conference on Logic Programming, Naish, Lee, 1960-

MIT Press
6 図書 Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS, Kuchen, Herbert R., 1958-, 上田, 和紀(1956-)

Springer
12 図書 Logic programming : proceedings of the Twelfth International Conference on Logic Programming

Sterling, Leon

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