Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "124196314"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/931164141 |
| Titel | Towards automating duality / Chris Brink & Dov Gabbay & Hans Jürgen Ohlbach. [Max-Planck-Institut für Informatik] |
| Person(en) |
Brink, Chris (Verfasser) Gabbay, Dov M. (Verfasser) Ohlbach, Hans Jürgen (Verfasser) |
| Verlag | Saarbrücken : MPI Informatik |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | 50 S. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | kart. |
| Identifikationsnummern | Reportnummer: MPI I 93 220 |
| Anmerkungen | Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1993 B 10431
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1993 B 10431
Bereitstellung in Leipzig |

