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

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2001
形態:
x, 389 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2024 <BA00009279>
著者名:
ISBN:
9783540417392 [3540417397]
書誌ID:
BA50854941
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April, 7-9, 2004 : proceedings

Fuji International Symposium on Functional and Logic Programming, Kameyama, Yukiyoshi, Stuckey, Peter J.

Springer
7 電子ブック Functional and Constraint Logic Programming

Kuchen, Herbert, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg
2 図書 Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

Fuji International Symposium on Functional and Logic Programming, Hu, Zhenjiang, 1966-, Rodríguez Artalejo, M. (Mario)

Springer
8 図書 Advances in computing science-ASIAN '97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997 : proceedings

Asian Computing Science Conference, Shyamasundar, Rudrapatna, 1950-, 上田, 和紀(1956-)

Springer
3 図書 Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Fuji International Symposium on Functional and Logic Programming, Middeldorp, Aart, 1963-, 佐藤, 泰介

Springer
9 図書 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
4 図書 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
10 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse

Springer
5 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming … (: pbk)

International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958-

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

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

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

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

Springer-Verlag
12 図書 Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (: gw ; : us)

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

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12