Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: dcs=005*

Zurück zur Trefferliste


Treffer 19699 von 19776 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/100405159X
Art des Inhalts Konferenzschrift, 2010, Brünn
Titel Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Person(en) Dawar, Anuj (Herausgeber)
Organisation(en) CSL (24 : 2010 : Brünn) (Herausgebendes Organ)
European Association for Computer Science Logic (Herausgebendes Organ)
Verlag Berlin, Heidelberg : Springer Berlin Heidelberg
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format Online-Ressource
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Computer science logic
Persistent Identifier URN: urn:nbn:de:1111-20100702509
DOI: 10.1007/10703163
URL https://link.springer.com/book/10.1007/978-3-540-48855-2 (Verlag)
ISBN/Einband/Preis 978-3-540-48855-2
EAN 9783540488552
Beziehungen Lecture Notes in Computer Science
Anmerkungen Lizenzpflichtig
Schlagwörter Theoretische Informatik ; Logik ; Kongress ; Brünn <2010>
Computational logic ; Kongress ; Brünn <2010>
Logische Programmierung ; Kongress ; Brünn <2010>
Programmierlogik ; Kongress ; Brünn <2010>
DDC-Notation 004.015113 [DDC22ger]; 005.1015113 [DDC22ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 19699 von 19776
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration