about
description
im Juli 2012 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в липні 2012
@uk
name
Conflict-driven ASP solving with external sources
@en
Conflict-driven ASP solving with external sources
@nl
type
label
Conflict-driven ASP solving with external sources
@en
Conflict-driven ASP solving with external sources
@nl
prefLabel
Conflict-driven ASP solving with external sources
@en
Conflict-driven ASP solving with external sources
@nl
P2093
P1476
Conflict-driven ASP solving with external sources
@en
P2093
CHRISTOPH REDL
MICHAEL FINK
THOMAS EITER
P2860
P304
P356
10.1017/S1471068412000233
P577
2012-07-01T00:00:00Z