Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/24774
-
Titel: 
SAT and Interactions (Dagstuhl Seminar 20061)
-
Zitat: 
Beyersdorff, O., Egly, U., Mahajan, M., & Nalon, C. (Eds.). (2020). SAT and Interactions (Dagstuhl Seminar 20061). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DagRep.10.2.1
-
Verlags-DOI: 
10.4230/DagRep.10.2.1
-
Publikationstyp: 
Konferenzband - Full Paper Book
de
Herausgeber_innen: 
Beyersdorff, Olaf 
Egly, Uwe 
Mahajan, Meena 
Nalon, Claudia 
-
Organisations­einheit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Reihe: 
Dagstuhl Reports 
-
Datum (veröffentlicht): 
2020
-
Umfang: 
18
-
Verlag: 
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
-
Peer Reviewed: 
Nein
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Proceedings

Zur Langanzeige

Seiten Aufrufe

210
aufgerufen am 23.11.2023

Google ScholarTM

Check