MetadatenAuthor details: | Martin GebserORCiD, Henrik Hinrichs, Torsten SchaubORCiDGND, Sven Thiele |
---|
URN: | urn:nbn:de:kobv:517-opus-41466 |
---|
Publication type: | Conference Proceeding |
---|
Language: | English |
---|
Publication year: | 2010 |
---|
Publishing institution: | Universität Potsdam |
---|
Contributing corporation: | Gesellschaft für Logische Programmierung e.V. |
---|
Release date: | 2010/03/04 |
---|
Source: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 51 - 58 |
---|
RVK - Regensburg classification: | ST 304 |
---|
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
---|
| Extern / Extern |
---|
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Collection(s): | Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Answer Set Programming |
---|
License (German): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
---|