Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
function programming » action programming, foundations programming, fractional programming
definitions proof » definitions proofs, definitions prior, definitions from
function programming » action programming, foundations programming, fractional programming
definitions proof » definitions proofs, definitions prior, definitions from
1
Vydáno 2008
Obsah:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2014
Obsah:
“... and Formalized Proof of Abstract Completion -- HOL with Definitions: Semantics, Soundness and a Verified...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2014
Obsah:
“...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2007
Obsah:
“... Proofs in Isabelle/HOL -- Formalising Generalised Substitutions -- Extracting Purely Functional Contents...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2012
Obsah:
“... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2006
Obsah:
“... for Accessibility -- Automatic Annotation of Web Services Based on Workflow Definitions -- A Constraint-Based...”Získat plný text
Elektronický zdroj
E-kniha