Logik und Logische Programmierung Einführung
Logik und Logische Programmierung Einführung
Logik und Logische Programmierung Einführung
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Eine Beweistheorie derAussagenlogik!Im Kurs werden wir eine andere Technik sehen(Gr<strong>und</strong>lage von Prolog + SAT Solver)