1![Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of](https://www.pdfsearch.io/img/771b6289506e518a2bb9e76e95e31647.jpg) | Add to Reading ListSource URL: www.cs.uni-potsdam.deLanguage: English - Date: 2008-03-22 22:29:07
|
---|
2![Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of](https://www.pdfsearch.io/img/0b1e439c861af52d62c328ce08b949ed.jpg) | Add to Reading ListSource URL: www.jens-otten.deLanguage: English - Date: 2012-03-30 11:05:56
|
---|
3![leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel](https://www.pdfsearch.io/img/ba541e62ab6c3221df8d24da8e60513f.jpg) | Add to Reading ListSource URL: www.jens-otten.deLanguage: English - Date: 2012-03-30 11:05:54
|
---|
4![leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel](https://www.pdfsearch.io/img/793c2de320445caa2976fcd3f377bb52.jpg) | Add to Reading ListSource URL: www.cs.uni-potsdam.deLanguage: English - Date: 2008-03-22 23:06:13
|
---|
5![PRESIDENT’S REPORT Presented at the ECCAI General Assembly on 23 July 2002 at ECAI 2002 Lyon, France Founded in 1982, ECCAI currently represents 27 European societies for Artificial Intelligence and is now 20 years old PRESIDENT’S REPORT Presented at the ECCAI General Assembly on 23 July 2002 at ECAI 2002 Lyon, France Founded in 1982, ECCAI currently represents 27 European societies for Artificial Intelligence and is now 20 years old](https://www.pdfsearch.io/img/28184a917e727643bc3c8be6901e61e7.jpg) | Add to Reading ListSource URL: www.eccai.orgLanguage: English - Date: 2010-10-11 06:58:16
|
---|
6![PRESIDENT’S REPORT Presented at the ECCAI General Assembly on 1 August 2003 at ACAI 2003, Bremen, Germany. Founded in 1982, ECCAI currently represents 27 European societies for Artificial Intelligence and is now 21 yea PRESIDENT’S REPORT Presented at the ECCAI General Assembly on 1 August 2003 at ACAI 2003, Bremen, Germany. Founded in 1982, ECCAI currently represents 27 European societies for Artificial Intelligence and is now 21 yea](https://www.pdfsearch.io/img/4a775e93824fecdde279aa25ae477060.jpg) | Add to Reading ListSource URL: www.eccai.orgLanguage: English - Date: 2010-10-11 06:58:16
|
---|