| |
Andere Auflagen/Ausgaben
| Titel: | Deduktionssysteme |
|---|---|
| Titelzusatz: | Automatisierung des logischen Denkens |
| Mitwirkende: | Bläsius, Karl Hans [Hrsg.]  |
| Verf.angabe: | hrsg. von K. H. Bläsius und H.-J. Bürckert. Mit Beitr. von K. H. Bläsius ... |
| Ausgabe: | 2., völlig überarb. und erw. Aufl. |
| Verlagsort: | München ; Wien |
| Verlag: | Oldenbourg |
| Jahr: | 1992 |
| Umfang: | VIII, 291 S. |
| Illustrationen: | Ill., graph. Darst. |
| Format: | 24 cm |
| Fussnoten: | Literaturangaben |
| ISBN: | 3-486-22033-0 |
| 978-3-486-22033-9 | |
| URL: | : Inhaltsverzeichnis ; Verlag: http://d-nb.info/920578071/04 |
| : Inhaltstext: http://zbmath.org/?q=an:0781.68002 | |
| Schlagwörter: | (s)Deduktionssystem |
| (s)Deduktionssystem | |
| Sprache: | ger |
| Altbestandsnotation: | SysK: Math B 060 - 099 |
| RVK-Notation: | ST 285 |
| SK 130 | |
| ST 300 | |
| ST 304 | |
| 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 | ||||
