Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
integrating functions » integrating functional, integrating nations, integration functional
functions programming » functional programming, foundations programming, functions programmed
programming program » programming programmed, programming problem, programming problems
program based » programs based, gram based, programming based
based http » based hot, based hbts, based heap
integrating functions » integrating functional, integrating nations, integration functional
functions programming » functional programming, foundations programming, functions programmed
programming program » programming programmed, programming problem, programming problems
program based » programs based, gram based, programming based
based http » based hot, based hbts, based heap
1
Izdano 2008
Kazalo:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2010
Kazalo:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2011
Teme:
“...Programming languages (Electronic computers)....”Polni tekst
Elektronski
eKnjiga
4
Izdano 2007
Kazalo:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”Polni tekst
Elektronski
eKnjiga
5
Izdano 2006
Kazalo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Polni tekst
Elektronski
eKnjiga
6
Izdano 2008
Kazalo:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Polni tekst
Elektronski
eKnjiga
7
Izdano 2005
Kazalo:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Polni tekst
Elektronski
eKnjiga
8
Izdano 2007
Kazalo:
“... Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional...”Polni tekst
Elektronski
eKnjiga
9
Izdano 2005
Kazalo:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Polni tekst
Elektronski
eKnjiga
10
Izdano 2007
Kazalo:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Polni tekst
Elektronski
eKnjiga
11
Izdano 2008
Kazalo:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Polni tekst
Elektronski
eKnjiga
12
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Izdano 2013
Kazalo:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Polni tekst
Elektronski
eKnjiga
13
Izdano 2007
Kazalo:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Polni tekst
Elektronski
eKnjiga
14
Izdano 2013
Kazalo:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”Polni tekst
Elektronski
eKnjiga
15
Izdano 2007
Kazalo:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”Polni tekst
Elektronski
eKnjiga
16
Izdano 2013
Kazalo:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Polni tekst
Elektronski
eKnjiga
17
Izdano 2007
Kazalo:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”Polni tekst
Elektronski
eKnjiga
18
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Izdano 2006
Kazalo:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Polni tekst
Elektronski
eKnjiga
19
Izdano 2007
Kazalo:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”Polni tekst
Elektronski
eKnjiga
20
Teme:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Polni tekst
Polni tekst
Elektronski
eKnjiga