Skip to content
Vinony

Automated Deduction - CADE-25

by Amy P. Felty, Aart Middeldorp

Cover of Automated Deduction - CADE-25

No description available.

Logic, symbolic and mathematicalAutomatic theorem proving
Automated Deduction - CADE-25 by Amy P. Felty, Aart Middeldorp — book · Vinony