eilert-raue documents

Inferenz in Prädikatenlogik. KI 9-Inferenz in PL2 Überblick Reduktion prädikatenlogischer (PL) Inferenz auf aussagenlogische (AL) Inferenz Generalisierter
Documents Inferenz in Prädikatenlogik. KI 9-Inferenz in PL2 Überblick Reduktion prädikatenlogischer (PL) Inferenz auf aussagenlogische (AL) Inferenz Generalisierter