Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 936 von 25901
|
|
| Link zu diesem Datensatz | https://d-nb.info/941899284 |
| Art des Inhalts | Konferenzschrift |
| Titel |
Higher order logic theorem proving and its applications Teil: 7., Valletta, Malta, September 19 - 22, 1994 |
| Verlag | Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1994 |
| Umfang/Format | IX, 470 S. : graph. Darst. |
| ISBN/Einband/Preis |
978-3-540-58450-6 (Berlin ...) kart. : DM 86.00 3-540-58450-1 (Berlin ...) kart. : DM 86.00 978-0-387-58450-8 (New York ...) kart. 0-387-58450-1 (New York ...) kart. |
| Beziehungen | Lecture notes in computer science ; Vol. 859 |
| Anmerkungen | Status nach VGG: Prüfung ausstehend |
| Frankfurt |
Signatur: DZs 92/3914
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: ZA 79658
Bereitstellung in Leipzig |
Treffer 936 von 25901
Administration
