THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN:3540208518
Proceedings of Third Intermational Conference for Toung Computer Scientists July 15-17,1993,Beijing,
Jianping Wu,Jin Yang,Wen Gao,Tamin Li1993 年出版907 页ISBN:7302008884
ARBOREAL GROUP THEORY:PROCEEDINGS OF A WORKSHOP HELD SEPTEMBER 13-16
19882222 年出版368 页ISBN:3540975187
7TH SYMPOSIUM ON COMPUTER ARITHMETIC PROCEEDINGS 1985
KAI HWANG2222 年出版343 页ISBN:0818606320
REPORTS AND STUDIES NO.18 REPORT OF THE THIRTEENTH SESSION GENEVA
28 FEBRUARY-4 MARCH 19832222 年出版50 页ISBN:
43nd IEEE Symposium on Foundations of Computer Science October 14-17
20012001 年出版670 页ISBN: