Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann
Journal of Logic, Language and Information
Constraint application with higher-order programming for modeling music theories
Computer Music Journal
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |