Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
AUTOMATED DIAGNOSTICS AND ANALYTICS FOR BUILDINGS
BARNEY L CAPEHART PHD2015 年出版615 页ISBN：9781498706117
Robotics Designing the Mechanisms for Automated Machinery
2222 年出版479 页ISBN：0137816006
Techniques for the Automated Optimization of HPLC Separations
John C.Berridge2222 年出版203 页ISBN：
SYMBOLIC ANALYSIS FOR AUTOMATED DESIGN OF ANALOG INTEGRATED CIRCUITS
Georges Gielen1991 年出版290 页ISBN：
COMPUTER-AUTOMATED PROCESS PLANNING FOR WORLD-CLASS MANUFACTURING
JAMES NOLEN2222 年出版434 页ISBN：0824779185
Agent-Mediated Electronic Commerce Automated Negotiation and Strategy Design for Electronic Markets
2007 年出版250 页ISBN：9783540725015
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
