eBook
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
| Τίτλος: | A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics |
|---|---|
| Συγγραφείς: | Fages, FrançoisAff1 |
| Συνεισφορές: | 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 |
| Πηγή: | Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings. 14659:135-150 |
| Βάση Δεδομένων: | Springer Nature eBooks |
| ISBN: | 9789819722990 9789819723003 |
|---|---|
| DOI: | 10.1007/978-981-97-2300-3_8 |