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

Fuji International Workshop on Functional and Logic Programming : Susono, Japan, July 17-19, 1995 / editors, Masato Takeichi, Tetsuo Ida

資料種別:
図書
出版情報:
Singapore ; River Edge, N.J. : World Scientific, c1995
形態:
x, 329 p. ; 23 cm
著者名:
ISBN:
9789810224370 [9810224370]
書誌ID:
BA27058413
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 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
7 図書 Advanced functional programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures

International Spring School on Advanced Functional Programming Techniques, Jeuring, Johan, 1965-, Peyton Jones, Simon …

Springer
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 図書 Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (: gw ; : us)

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

Springer-Verlag
3 図書 Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

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

Springer
9 図書 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings (: gw ; : us)

International Workshop, META, Pettorossi, A. (Alberto), 1947-

Springer-Verlag
4 図書 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
10 図書 Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

LPNMR, Eiter, Thomas, 1966-, Faber, Wolfgang, 1974-, Truszczyński, Mirosław

Springer
5 図書 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings (: gw ; : us)

Foundations of Logic and Functional Programming Workshop, Boscarol, Mauro, 1947-, Carlucci Aiello, Luigia, 1946-, Levi, …

Springer-Verlag
11 図書 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation, Bossi, Annalisa, 1948-

Springer
6 図書 Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

International Workshop LPKR, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

Springer
12 図書 Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings (: gw ; : us)

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-

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