4 Ergebnisse für: Formelmenge
-
"Belnaps_vierwertige_Logik" FOUR - Google-Suche
http://www.google.de/search?hl=de&q=%22Belnaps_vierwertige_Logik%22+FOUR&meta=
Keine Beschreibung vorhanden.
-
Resolution
http://www.fh-wedel.de/~si/seminare/ws04/Ausarbeitung/5.Prolog/LogPro5.htm
Votrag über Logische Programmierung
-
Klassische und nichtklassische Aussagenlogik - Wolfgang Rautenberg - Google Books
http://books.google.de/books?ei=bu1LUv_JOOrP0AWMgYHIBQ&hl=de&id=4enuAAAAMAAJ&dq=Wahrheitswertefunktion+aut&q=aut-Funktion#search
Keine Beschreibung vorhanden.
-