THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 8th INTERNATIONAL CONFERENCE
SAT 20052005 年出版494 页ISBN：
The elementary theory of groups a guide through the proofs of the Tarski conjectures Volume 60
Benjamin Fine ; Anthony Gaglione ; Alexei Myasnikov ; Gerhard Rosenberger ; Dennis Spellman2014 年出版308 页ISBN：3110341997
FUNDAMENTAL DATA OBTAINED FROM SHOCK-TUBE EXPERIMENTS
A. FERRI1961 年出版415 页ISBN：
PROBLEM BOOK IN THE THEORY OF FUNCTIONS VOLUME I-2
KONRAD KNOPP1948 年出版266 页ISBN：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING 6th INTERNATIONAL CONFERENCE
SAT 20032004 年出版530 页ISBN：3540208518
INTRODUCTION TO THE MECHANICS OF PLASTIC FORMING OF METALS
1979 年出版368 页ISBN：9028601260
