אפשרויות חיפוש:
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
interactive computing » interactive computer
computing programming » computer programming, computers programming
constraint https » constraint atoms, constraint graphs, constraint codes
1
יצא לאור 2014
תוכן הענינים: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2013
תוכן הענינים: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים: ... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים: ... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים: ...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים: ...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2015
תוכן הענינים: ... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2013
תוכן הענינים: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2012
תוכן הענינים: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים: ... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים: ...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
תוכן הענינים: ... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני