Logik:Prädikatenlogik/Beweisverfahren
Aus Tudwiki
Die Beweisverfahren der Prädikatenlogik geben uns die Möglichkeit um logische Konsequenzen mit Computern auszurechnen.
- Diese Seite wurde zuletzt am 4. August 2004 um 17:21 Uhr geändert.
- Diese Seite wurde bisher 801-mal abgerufen.
