בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
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
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...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני