CITATION STYLE
WOS, L. (2010). AUTOMATED REASONING. In The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions (pp. 571–582). World Scientific Publishing Co. Pte. Ltd. https://doi.org/10.1142/9789812813411_0032
Mendeley helps you to discover research relevant for your work.