Automated database applications testing : specification representation for automated reasoning
Rana FaridMikhail2010 年出版195 页ISBN：9812837288
GENERIC INFERENCE A UNIFYING THEORY FOR AUTOMATED REASONING
MARC POULY AND JURG KOHLAS2011 年出版452 页ISBN：0470527016
Automated test methods for fracture and fatigue crack growth
2222 年出版310 页ISBN：0803104219
Automated test methods for fracture and fatigue crack growth
2222 年出版310 页ISBN：0803104219
Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN：0444508120
Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN：0444829490
Lecture Notes in Artificial Intelligence 4130 Automated Reasoning Third International Joint Conferen
IJCAR 20062006 年出版680 页ISBN：3540371877
Lecture Notes in Artificial Intelligence 3097 Automated Reasoning Second International Joint Confere
IJCAR 20042004 年出版492 页ISBN：3540223452
