Back to Results
First PageMeta Content
Theoretical computer science / School of Computer Science / University of Manchester / Software / Automated theorem proving / Logic in computer science / Mathematical logic / E theorem prover / Prover9 / Vampire / Andrei Voronkov / Geoff Sutcliffe / Rewriting


We know (nearly) nothing! But can we learn? Stephan Schulz DHBW Stuttgart
Add to Reading List

Document Date: 2017-07-30 15:10:46

Open Document

File Size: 150,31 KB

Share Result on Facebook
UPDATE