Datei:TU Wien-Logic and Reasoning in Computer Science VU (Kovacs) - CNF definition Transformation Table + Tableaux rules.pdf
Zur Navigation springen
Zur Suche springen
TU_Wien-Logic_and_Reasoning_in_Computer_Science_VU_(Kovacs)_-_CNF_definition_Transformation_Table_+_Tableaux_rules.pdf (Dateigröße: 75 KB, MIME-Typ: application/pdf)
Beschreibung[Bearbeiten | Quelltext bearbeiten]
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|
| aktuell | 13:45, 16. Jul. 2024 | (75 KB) | Teeoderkaffee (Diskussion | Beiträge) | {{#attach:TU Wien:Logic and Reasoning in Computer Science VU (Kovacs)}} |
Dateiverwendung
Keine Seiten verwenden diese Datei.