Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
Your session will expire automatically in 0 seconds.
Reasoning -- Automation. : Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).
Reasoning -- Handbooks, manuals, etc. : Handbook of Argumentation Theory / authors, Frans H. van Eemeren, Bart Garssen, Bart Verheij, Erik C.W. Krabbe, A. Francisca Snoeck Henkemans, Jean H.M. Wagemans.
2021
1
Reasoning -- History. : The intelligibility of nature : how science makes sense of the world / Peter Dear.
Reasoning -- Technique. : Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).