![](https://www.pdfsearch.io/img/0b1e439c861af52d62c328ce08b949ed.jpg) Date: 2012-03-30 11:05:56
| | Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University ofAdd to Reading ListSource URL: www.jens-otten.deDownload Document from Source Website File Size: 280,33 KBShare Document on Facebook
|