Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "122298624"
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/901186562 |
| Art des Inhalts | Konferenzschrift, 1988, Reval |
| Titel | Proceedings / COLOG 88 / Internat. Conference on Computer Logic, Tallinn, USSR, December 12 - 16, 1988. P. Martin-Löf ; G. Mints (eds.) |
| Person(en) | Martin-Löf, Per (Herausgeber) |
| Organisation(en) | COLOG (1 : 1988 : Tallin) (Verfasser) |
| Verlag | Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1990 |
| Umfang/Format | VI, 338 S. ; 25 cm |
| ISBN/Einband/Preis |
978-3-540-52335-2 (Berlin ...) kart. : DM 47.00 3-540-52335-9 (Berlin ...) kart. : DM 47.00 978-0-387-52335-4 (New York ...) kart. 0-387-52335-9 (New York ...) kart. |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 417 |
| Anmerkungen |
Literaturangaben Status nach VGG: lieferbar |
| Schlagwörter |
Deduktionssystem ; Kongress ; Reval <1988> Automatisches Beweisverfahren ; Kongress ; Reval <1988> Logische Programmierung ; Kongress ; Reval <1988> Mathematische Logik ; Computer ; Kongress ; Reval <1988> |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: D 90/8514
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SA 24055-417
Bereitstellung in Leipzig |
Treffer 1 von 1
Administration
