Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: betRef=122298624



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://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
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

Frankfurt Signatur: D 90/8514
Bereitstellung in Frankfurt
Leipzig Signatur: SA 24055-417
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration