Pränex-Normalform

aus Wikipedia, der freien Enzyklopädie

Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 20. März 2005 um 08:20 Uhr durch imported>HenrikHolke(3325) (REDIRECT, zusammengeführt).

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)