Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
function proof » functions proof, functions proofs, function probe
developing computing » developing competent, developing computer, developing coping
https developing » hits developing, steps developing, crops developing
function proof » functions proof, functions proofs, function probe
1
Taula de continguts:
“...Unwinding proofs (‘Proof Mining’) -- Intuitionistic and classical arithmetic in all finite types...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“.... Functions -- 4. Finite and Infinite Sets -- 5. Combinatorics -- 6. Number Theory -- 7. Complex Numbers...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obtenir text complet
Electrònic
eBook
6
Publicat 2013
Taula de continguts:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... and modular forms in quantum field theory -- Computer-assisted proofs of some identities for Bessel functions...”Obtenir text complet
Electrònic
eBook
8
Taula de continguts:
“... Functions Revisited -- Correctness Proof -- Stalling Stall Engine -- Hazard Signals -- Correctness Statement...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
9
Taula de continguts:
“...Preliminaries -- Hp Spaces -- Conjugate Functions -- Some Extremal Problems -- Some Uniform Algebra...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“...-Gordan Coefficients -- New Proofs of Some q-Series Results -- The Little q-Jacobi Functions of Complex...”Obtenir text complet
Electrònic
eBook
11
Publicat 2015
Taula de continguts:
“... proofs for real computations -- Prime Model with No Degree of Autostability Relative to Strong...”Obtenir text complet
Electrònic
eBook
12
Publicat 2012
Matèries:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”Obtenir text complet
Electrònic
eBook
13
Matèries:
“...Algebra. https://scigraph.springernature.com/ontologies/product-market-codes/M11000...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
14
Matèries:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“... of Mathematical Functions -- A Revisited Perspective on Symbolic Mathematical Computing and Artificial...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... Properties of Intuitionistic Set Theories with Choice Principles -- New Developments in Proofs...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... in Model Manipulation for Scientific Computing -- Mechanising a Proof of Craig’s Interpolation Theorem...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... of Hybrid Systems -- Jtlv: A Framework for Developing Verification Algorithms -- Petruchio: From Dynamic...”Obtenir text complet
Electrònic
eBook