Modellkonstruktion in konstruktiven logischen Theorien

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Weber, Franz (VerfasserIn)
Körperschaft:	Fakultät für Informatik, Universität Karlsruhe (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	Karlsruhe 1986
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Karlsruhe, Univ., Fak. f. Informatik, Diplomarb. 1986
Beschreibung:	ca. 85 S