最 低 价：￥427.10
| Using CHRs to Generate Fhnctional Test Cases for the Java Card Virtual Machine Generic Cut Actions for External Prolog Predicates Controlling Search Space Materialization in a Practical Declarative Debugger Automatic Verification of a Model Checker by Reflection Probabilistic-Logical Modeling of Music Using Dominators for Solving Constrained Path Problems JQuery: A Generic Code Browser with a Declarative Configuration Language A Hybrid BDD and SAT Finite Domain Constraint Solver Adding Constraint Solving to Mercury Modeling Genome Evolution with a DSEL for Probabilistic Programming Tabling in Mercury: Design and Implementation Translating Description Logic Queries to Prolog Efficient Top-Down Set-Sharing Analysis Using Cliques Querying Complex Graphs Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs Author Index |
内容加载中，请稍后...
商品评论（0条）