1990/01/01 by Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · 1 citation
Computer Science · Mathematics · #Artificial intelligence #Computer science #Concurrent constraint logic programming #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint logic programming #Constraint programming #Constraint satisfaction #Declarative programming #Fifth-generation programming language #Firmware #Functional logic programming #Inductive programming #Logic programming #Logic, programming, and type systems #Mathematical optimization #Mathematics #Model-Driven Software Engineering Techniques #Programming language #Programming paradigm #Prolog #Theoretical computer science
paper · doi:10.1016/0743-1066(90)90052-7
crossref issued 1990/01/01 · crossref published 1990/01/01 · crossref published-print 1990/01/01 · openalex publication_date 1990/01/01 · crossref created 2002/07/25 · crossref deposited 2019/04/12 · crossref indexed 2025/07/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/06/21