Deduction systems
Verfasserangaben: | Rolf Socher, Patricia Johann |
---|---|
ISBN: | 0-387-94847-3 |
Verlag: | Springer |
Verlagsort: | New York [u.a.] |
Dokumentart: | Buch (Monographie) |
Sprache: | Englisch |
Jahr der Veröffentlichung: | 1997 |
Datum der Veröffentlichung (online): | 08.05.2015 |
Datum der Freischaltung: | 08.05.2015 |
GND-Schlagwort: | Deduktionssystem |
Seitenzahl: | XII, 206 S. |
Hochschulbibliografie: | Hochschulbibliografie |
Lizenz (Deutsch): | ![]() |