Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Amsterdam"
Treffer 85 von 3792
|
|
| Link zu diesem Datensatz | https://d-nb.info/941360644 |
| Art des Inhalts | Konferenzschrift, 1993, Amsterdam |
| Titel | Higher order algebra, logic, and term rewriting : first international workshop ; selected papers / HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Jan Heering ... (ed.) |
| Person(en) | Heering, Jan (Herausgeber) |
| Organisation(en) | HOA (1 : 1993 : Amsterdam) (Herausgebendes Organ) |
| Verlag | Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1994 |
| Umfang/Format | 344 S. : graph. Darst. ; 24 cm |
| ISBN/Einband/Preis |
978-3-540-58233-5 (Berlin ...) kart. : DM 72.00 3-540-58233-9 (Berlin ...) kart. : DM 72.00 978-0-387-58233-7 (New York ...) kart. 0-387-58233-9 (New York ...) kart. |
| Beziehungen | Lecture notes in computer science ; Vol. 816 |
| Anmerkungen |
Literaturangaben Status nach VGG: lieferbar |
| Schlagwörter |
Algebraische Spezifikation ; Kongress ; Amsterdam <1993> Termersetzungssystem ; Kongress ; Amsterdam <1993> |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1994 A 47887
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1994 A 47887
Bereitstellung in Leipzig |
Treffer 85 von 3792
Administration
