Skip to content
Vinony

Automated Deduction - CADE-18

by Andrei Voronkov

Cover of Automated Deduction - CADE-18

No description available.

CongressesSymbolic and mathematical LogicAutomatic theorem provingLogic, symbolic and mathematical
Automated Deduction - CADE-18 by Andrei Voronkov — book · Vinony