Wolfgang Bibel

Results: 6



#Item
1Article 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

Add to Reading List

Source URL: www.cs.uni-potsdam.de

Language: English - Date: 2008-03-22 22:29:07
    2Article 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

    Add to Reading List

    Source URL: www.jens-otten.de

    Language: English - Date: 2012-03-30 11:05:56
      3leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel

      leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel

      Add to Reading List

      Source URL: www.jens-otten.de

      Language: English - Date: 2012-03-30 11:05:54
        4leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel

        leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel

        Add to Reading List

        Source URL: www.cs.uni-potsdam.de

        Language: English - Date: 2008-03-22 23:06:13
          5PRESIDENT’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

          Add to Reading List

          Source URL: www.eccai.org

          Language: English - Date: 2010-10-11 06:58:16
          6PRESIDENT’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

          Add to Reading List

          Source URL: www.eccai.org

          Language: English - Date: 2010-10-11 06:58:16