Formalizing falsification: three delete operations:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schätz, Rüdiger (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Duisburg 1988
Schriftenreihe:Universität <Duisburg, 1980 -> / Fachbereich Mathematik: Schriftenreihe des ... 138.
Beschreibung:10 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!