一般注記Papers and an abstract.
"This year's meeting was a merging of several leading events in automated reasoning, namely, CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)." -- pref.
書誌注記Includes bibliographical references and author index.