THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
ARMIN BIERE2006 年出版438 页ISBN：
Lecture Notes in Artificial Intelligence 3734 Algorithmic Learning Theory 16th International Confere
ALT 20052005 年出版489 页ISBN：354029242X
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
2000 2ND INTERNATIONAL CONFERENCE CONTROL OF OSCILLATIONS AND CHAOS VOLUME 3 OF 3
F.L.CHERNOUSKO2000 年出版593 页ISBN：
Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN：
Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence ICTAL 2001
IEEE Computer Society2001 年出版349 页ISBN：
2000 2ND INTERNATIONAL CONFERENCE CONTROL OF OSCILLATIONS AND CHAOS VOLUME 1 OF 3
F.L.CHERNOUSKO2000 年出版204 页ISBN：
The Interaction of Analysis and Geometry : International School--Conference Analysis and Geometry
August 23-September 32222 年出版0 页ISBN：
FIRST INTERNATIONAL CONFERENCE ON IMAGE MANAGEMENT AND COMMUNICATION IN PATIENT CARE:IMOLEMENTATION
SEONG K.MUN1990 年出版309 页ISBN：
Power transmissions proceedings of the International Conference on Power Transmissions 2016 (ICPT 20
Datong Qin ; Yimin Shao2017 年出版0 页ISBN：
