> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Logic Programming and Nonmonotonic Reasoning: Cluster-Based ASP Solving with claspar Beteiligte: Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten; Schnor, Bettina Erschienen: Springer Berlin Heidelberg, 2011 Erschienen in: Logic Programming and Nonmonotonic Reasoning (2011), Seite 364-369 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-642-20895-9_42 ISBN: 9783642208942; 9783642208959 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: