KI_Kuenstliche_Intelligenz/KI_Zusammenfassung
1
0
Fork 0
generated from TH_General/Template_Summary
Code Issues Pull Requests Projects Releases 1 Wiki Activity

anforderung hinzugefügt

Browse Source
This commit is contained in:
paul-loedige 2021-02-08 09:58:02 +01:00
parent def8241222
commit b369b2235e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Readme.md
View File

@ -20,6 +20,7 @@ Dieses Repo beinhaltet die $\LaTeX$ Informationen für die Zusammenfassung im Fa
- [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt) - [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt)
- [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik) - [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik)
- [x] Skolemisierungsverfahren hinzufügen - [x] Skolemisierungsverfahren hinzufügen
- [ ] Unifikationsverfahren hinzufügen
## Hinweise ## Hinweise
Requires you to enable [--shell escape](https://tex.stackexchange.com/questions/516604/how-to-enable-shell-escape-or-write18-visual-studio-code-latex-workshop) Requires you to enable [--shell escape](https://tex.stackexchange.com/questions/516604/how-to-enable-shell-escape-or-write18-visual-studio-code-latex-workshop)