Research Atlas
Select a language
English (United States)
Deutsch (Deutschland)
Index
Log in via ORCiD
Search form
Menu
Home
People
Organizations
Research
Events
clasp: A Conflict-Driven Answer Set Solver
Chapter
Overview
Identity
Additional Document Info
View All
Overview
authors
Gebser, Martin
publication date
June 5, 2007
has subject area
archaeology
architecture
computer science
geography
mathematics
published in
Springer eBooks
Identity
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-540-72200-7_23
Additional Document Info
start page
260
end page
265