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