Back to Results
First PageMeta Content
Theoretical computer science / Automated theorem proving / Mathematical logic / Software / Superposition calculus / E theorem prover / Vampire / Term indexing / Resolution / Handbook of Automated Reasoning / Automated reasoning / Unification


Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe
Add to Reading List

Document Date: 2006-11-07 08:18:44


Open Document

File Size: 2,88 MB

Share Result on Facebook