[infostudents] Re: KI Blatt 5

  • From: ox4655 <ox4655@xxxxxxxxxxx>
  • To: infostudents@xxxxxxxxxxxxx
  • Date: Thu, 05 Jun 2008 14:50:17 +0200

Hallo Jonas.

Auf Folie 7.23 haben wir das Contradiction theorem. Forme die Formel K .... danach um und verwende dann die Resolution.

mfg Ivo
---
Sent through the Infostudents Mailinglist

List Archive:
http://www.freelists.org/archives/infostudents/

Subscribe / Unsubscribe:
http://www.freelists.org/list/infostudents

Other related posts: