Proceedings of the 7th & 8th Asian Logic Conferences: Hsi-Tou, Taiwan, 6-10 June 1999
Subtitle: Chongquing, China 29 August-2 September 2 002
Contributors: Rod Downey (Editor); Qiu Yu Hui (Editor); Tung Shih Ping (Editor); Ding Decheng (Editor); Mariko Yasugi (Editor)
Publisher: World Scientific Pub Co Inc
Published: February 2004
Language: eng
Format: Hardcover
Number of pages: 480
ISBN-13: 9789812382610
Subjects: Computer architecture & logic design; Mathematical logic; Mathematical theory of computation; Computer Science; Computers; Computer Books: General; Logic Design; General