Allgemeine Gleichheitsverfahren. (General Equality Procedures.)
Deduktionssysteme, Automatisierung des logischen Denkens. Oldenbourg Verlag 1987
Erscheinungsjahr: 1987
Publikationstyp: Diverses
Sprache: Deutsch
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
