MetadatenAuthor: | Ke LiuORCiD, Sven Löffler, Petra HofstedtGND |
---|
URL: | https://www.springer.com/de/book/9783030008000 |
---|
DOI: | https://doi.org/10.1007/978-3-030-00801-7_6 |
---|
ISBN: | 978-3-030-00800-0 |
---|
Title of the source (English): | Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers |
---|
Publisher: | Springer |
---|
Place of publication: | Heidelberg [u.a.] |
---|
Editor: | Dietmar Seipel, Michael Hanus, Salvador AbreuORCiD |
---|
Document Type: | Conference publication peer-reviewed |
---|
Language: | English |
---|
Year of publication: | 2018 |
---|
Tag: | Artificial Intelligence; Constraint Programming; Parallel Constraint Solving |
---|
First Page: | 81 |
---|
Last Page: | 94 |
---|
Series ; volume number: | Lecture Notes in Computer Science ; Volume 10997 |
---|
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |
---|