Report - 3 Logik und Inferenz...9. Vorlesung! Methoden der Künstlichen Intelligenz! 3! (IV) Subsumtions-Inferenz Aus p subsumiert q schließe q folgt aus p (V) Allgemeine Resolutionsregel

Please pass captcha verification before submit form