eBook
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
| Title: | A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics |
|---|---|
| Authors: | Fages, FrançoisAff1 |
| Contributors: | Goos, Gerhard, Founding EditorAff11, Hartmanis, Juris, Founding EditorAff12, Bertino, Elisa, Editorial Board MemberAff13, Gao, Wen, Editorial Board MemberAff14, Steffen, Bernhard, Editorial Board MemberAff15, Yung, Moti, Editorial Board MemberAff16, Gibbons, Jeremy, editorAff17, Miller, Dale, editorAff18 |
| Source: | Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings. 14659:135-150 |
| Database: | Springer Nature eBooks |
| ISBN: | 9789819722990 9789819723003 |
|---|---|
| DOI: | 10.1007/978-981-97-2300-3_8 |