Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "124196314"
Treffer 27 von 38
|
|
| Link zu diesem Datensatz | https://d-nb.info/931236428 |
| Titel | Quantifier elimination in second-order predicate logic / Dov Gabbay & Hans Jürgen Ohlbach. [Max-Planck-Institut für Informatik] |
| Person(en) |
Gabbay, Dov M. (Verfasser) Ohlbach, Hans Jürgen (Verfasser) |
| Verlag | Saarbrücken : MPI Informatik |
| Zeitliche Einordnung | Erscheinungsdatum: 1992 |
| Umfang/Format | 18 Bl. ; 30 cm |
| ISBN/Einband/Preis | kart. |
| Identifikationsnummern | Reportnummer: MPI I 92 231 |
| Anmerkungen | Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1993 B 7130
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1993 B 7130
Bereitstellung in Leipzig |
Treffer 27 von 38
Administration
