Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/24774
-
Title:
SAT and Interactions (Dagstuhl Seminar 20061)
-
Citation:
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
-
Publisher DOI:
10.4230/DagRep.10.2.1
-
Publication Type:
Konferenzband - Full Paper Book
de
Proceedings - Full Paper Book
en
Editors:
Beyersdorff, Olaf
Egly, Uwe
Mahajan, Meena
Nalon, Claudia
-
Organisational Unit:
E192-03 - Forschungsbereich Knowledge Based Systems
-
Series:
Dagstuhl Reports
-
Date (published):
2020
-
Number of Pages:
18
-
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
-
Peer reviewed:
No
-
Science Branch:
Informatik
-
Appears in Collections:
Proceedings
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
106
checked on Sep 1, 2023
Google Scholar
TM
Check