Michael FÄRBER

project number
J-4386

project title
Stronger Proof Automation through Nonclausal Proof Search

research place
Vrije Universiteit Amsterdam
Department of Computer Science

duration
01.10.2020 to 30.09.2023

back to overview