alric-henggeler documents

Informationssysteme SS20046-1 Kapitel 6: Logikorientierte Anfragesprachen 6.1 Grundlagen aus der Logik 6.1.1 Aussagenlogik 6.1.2 Prädikatenlogik 1. Ordnung
Documents Informationssysteme SS20046-1 Kapitel 6: Logikorientierte Anfragesprachen 6.1 Grundlagen aus der Logik 6.1.1 Aussagenlogik 6.1.2 Prädikatenlogik 1. Ordnung