Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: cod="ro"

Zurück zur Trefferliste


Treffer 99240 von 256292 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1366686829
Titel On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics / Bartosz Bednarczyk, Maja Orłowska, Anna Pacanowska, Tony Tan
Person(en) Bednarczyk, Bartosz (Verfasser)
Orłowska, Maja (Verfasser)
Pacanowska, Anna (Verfasser)
Tan, Tony (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2021
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-155478
DOI: 10.4230/LIPIcs.FSTTCS.2021.36
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.36 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2021, Volume 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), page 36:1-36:15
DDC-Notation 005.10151 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 99240 von 256292
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration