中图分类法:	TP311.1 版次：
题名:	Functional and logic programming : [ 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings /] / ,
其它题名:	FLOPS 2004
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： c2004.
载体形态:	x, 306 p. : ill. ; 24 cm.
主题词:	Functional programming (Computer science)
主题词:	Logic programming
主要责任者:	Kameyama, Yukiyoshi.
主要责任者:	Stuckey, Peter J.