Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 ＜Semantic structures in computation＞

書籍データ

著者名：edited by GQ Zhang ... [et al.]他の作品を見る

出版社：Kluwer Academic

発売日：c2003

xii, 196 p. 25 cm

ISBN：1402018320