Výsledky vyhledávání - Mathematical Logic and Formal Languages—Logic and Constraint Programming

The Inductive Constraint Programming Loop Autor BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems…”
Získat plný text

Extensions to unification grammar for the description of programming languages Autor Moshier, Michael Andrew

“…; so we do not say "The rocks weighs too much." Likewise, in programming languages such as Pascal, we can not write "x: = f(y, z…”
Získat plný text