bookmark

Tableaux-Verfahren in der Aussagenlogik

http://www.informatik.uni-hamburg.de/WSV/teaching/vorlesungen/LOS-Slides/LOS-5-Tableau.pdf

Description

Vorlesungsfolien "Semantik und Logik" zum Thema Tableaux-Beweiser

Preview

Tags

Users

Comments and Reviewsshow / hide

Please log in to take part in the discussion (add own reviews or comments).