| |
Andere Auflagen/Ausgaben
| Titel: | Deduktionssysteme |
|---|---|
| Titelzusatz: | Automatisierung des logischen Denkens |
| Mitwirkende: | Bläsius, Karl Hans [HerausgeberIn]  |
| Bürckert, Hans-Jürgen [HerausgeberIn] | |
| Verf.angabe: | herausgegeben von K. H. Bläsius und H.-J. Bürckert ; Mit Beiträgen von K. H. Bläsius ... |
| Ausgabe: | 2., völlig überarbeitete und erweiterte Auflage |
| Verlagsort: | München ; Wien |
| Verlag: | Oldenbourg |
| Jahr: | 1992 |
| Umfang: | VIII, 291 Seiten |
| Illustrationen: | Illustrationen, Diagramme |
| Format: | 24 cm |
| Fussnoten: | Literaturangaben |
| ISBN: | 3-486-22033-0 |
| 978-3-486-22033-9 | |
| URL: | Inhaltsverzeichnis: http://d-nb.info/920578071/04 |
| Inhaltstext: https://zbmath.org/?q=an:0781.68002 | |
| Schlagwörter: | (s)Deduktionssystem |
| (s)Deduktionssystem | |
| Sprache: | ger |
| Altbestandsnotation: | SysK: Math B 060 - 099 |
| RVK-Notation: | ST 120 |
| SK 130 | |
| ST 285 | |
| ST 304 | |
| ST 300 | |
| K10plus-PPN: | 118057421 |
| Signatur | QR | Standort | Status | |
|---|---|---|---|---|
| UBN/ST 304 B632(2) | | Zweigstelle Neuenheim / Magazin INF 329 | bestellbar | |
| Mediennummer: 03613355 | ||||
| Blaesi | | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | |
| Mediennummer: 34101815, Inventarnummer: 92/160 | ||||
