4 Ergebnisse für: hornklausel
-
Syntax der Aussagenlogik
http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node2.html#Hornformel
Aussagenlogik
-
Prädikatenlogik
http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node3.html
Pr?dikatenlogik
-
Beweissysteme und monotone Schaltkreise
http://www.tcs.informatik.uni-muenchen.de/~jjohanns/projekt.html
Keine Beschreibung vorhanden.
-
Beweissysteme und monotone Schaltkreise
http://www.tcs.informatik.uni-muenchen.de/~jjohanns/projekt.html#ref15
Keine Beschreibung vorhanden.