Mathematische Logik mit Informatik-Anwendungen

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bergmann, Eberhard (VerfasserIn)
Weitere Verfasser:	Noll, Helga (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1977
Schriftenreihe:	Heidelberger Taschenbücher 187
Schlagworte:	Logic, Symbolic and mathematical > Electronic data processing > Logic, symbolic and mathematical > Automatic theorem proving > Mathematische Logik > Informatik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!