Help
Help
図書

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China. (Semantic Structures in Computation ; 3)

Icons representing 図書

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China.

(Semantic Structures in Computation ; 3)

Call No. (NDL)
M17-04-2358
Bibliographic ID of National Diet Library
000007346749
Material type
図書
Author
Zhang, Guo-Qiang, 1960-ほか
Publisher
Kluwer Academic Publishers
Publication date
c2003.
Material Format
Paper
Capacity, size, etc.
xii, 196 p. : ill. ; 25 cm.
NDC
-
View All

Notes on use

Note (General)：

Selected papers.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
1402018320
Title
Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. : ISDT 2001 : Oct 2001, Chengdu, China.
Series Title
Semantic Structures in Computation ; 3
Author Heading
Zhang, Guo-Qiang, 1960-
International Symposium on Domain Theory (2nd : 2001 : Sichuan Sheng, China)
Publication, Distribution, etc.
Dordrecht : Kluwer Academic Publishers
Boston : Kluwer Academic Publishers
London : Kluwer Academic Publishers
Publication Date
c2003.
Publication Date (W3CDTF)
2003
Extent
xii, 196 p. : ill. ; 25 cm.
Place of Publication (Country Code)
NL