Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "123426294"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/910374430 |
| Titel | Perspectives on automated deduction / Wolfgang Bibel. [Gesellschaft für Mathematik und Datenverarbeitung mbH ...] |
| Person(en) | Bibel, Wolfgang (Verfasser) |
| Verlag | St. Augustin : GMD [u.a.] |
| Zeitliche Einordnung | Erscheinungsdatum: 1991 |
| Umfang/Format | 28 S. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | kart. : DM 15.00 |
| Beziehungen | Tasso-Report ; No. 17 |
| Anmerkungen |
Literaturverz. S. 27 - 28 Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Frankfurt |
Signatur: DKb 91/65
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SB 11416-17
Bereitstellung in Leipzig |

