Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics essays » semantics early
essays a » essays _, essay _
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics essays » semantics early
essays a » essays _, essay _
1
Publié 2013
Table des matières:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”Accéder au texte intégral
Électronique
eBook
2
Publié 2007
Table des matières:
“... -- Proof and Computation -- Towards Rewriting in Coq -- Superdeduction at Work -- Remarks on Semantic...”Accéder au texte intégral
Électronique
eBook
3
4
Publié 2006
Table des matières:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”Accéder au texte intégral
Électronique
eBook
5
6
Publié 2010
Table des matières:
“... -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical...”Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“...From Logic to Theoretical Computer Science – An Update -- Reminiscences -- Boris A. Trakhtenbrot...”Accéder au texte intégral
Électronique
eBook
8
Publié 2013
Table des matières:
“... -- Unifying Semantics for Concurrent Programming -- Unfixing the Fixpoint: The Theories of the λY -Calculus...”Accéder au texte intégral
Électronique
eBook
9
Publié 2010
Table des matières:
“...: Ontology and Mereology of Domains -- Computer Science and State Machines -- A Small Step for Mankind...”Accéder au texte intégral
Électronique
eBook
10
Publié 2014
Table des matières:
“... Rewriting Logic Computations (in a Parametric and Stepwise Way) -- The Semantics of Datalog...”Accéder au texte intégral
Électronique
eBook
11
Publié 2014
Table des matières:
“...Semantic Unification: A Sheaf Theoretic Approach to Natural Language -- On Residuation -- Type...”Accéder au texte intégral
Électronique
eBook
12
Publié 2007
Table des matières:
“...” to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants...”Accéder au texte intégral
Électronique
eBook
13
Publié 2008
Table des matières:
“... -- Models of Computation: A Tribute to Ugo Montanari’s Vision -- Automatic Mutual Exclusion and Atomicity...”Accéder au texte intégral
Électronique
eBook
14
Publié 2008
Table des matières:
“... -- Natural Language Processing -- Automatic Generalization of a QA Answer Extraction Module Based on Semantic...”Accéder au texte intégral
Électronique
eBook
15
Publié 2005
Table des matières:
“... -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal Calculi Via a...”Accéder au texte intégral
Électronique
eBook
16
Publié 2015
Table des matières:
“..., Tor -- Harmony in proof-theoretic semantics: A reductive analysis; Schroeder-Heister, Peter -- First...”Accéder au texte intégral
Électronique
eBook
17
Publié 2005
Table des matières:
“...Logics for Epistemic Programs -- A Counterexample to Six Fundamental Principles of Belief Formation...”Accéder au texte intégral
Électronique
eBook