Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel hol » parallel half, parallel hpc, parallel co
hol program » whole program, school program, modul program
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
function https » functions https, fiction https
parallel hol » parallel half, parallel hpc, parallel co
hol program » whole program, school program, modul program
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Veröffentlicht 2006
Inhaltsangabe:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Volltext
Elektronisch
E-Book
2
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Veröffentlicht 2013
Inhaltsangabe:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2015
Inhaltsangabe:
“... Decompilation in HOL4 -- A Formalized Hierarchy of Probabilistic System Types -- Learning To Parse on Aligned...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2014
Inhaltsangabe:
“... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2010
Inhaltsangabe:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”Volltext
Elektronisch
E-Book