Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integration functions » integration functional, integrating functions, interactions functions
functions program » functions programs, function program, functional program
program program » programs program, programming program
issues https » issues hans, issues htun, issues has
integration functions » integration functional, integrating functions, interactions functions
functions program » functions programs, function program, functional program
program program » programs program, programming program
issues https » issues hans, issues htun, issues has
1
Julkaistu 2010
Sisällysluettelo:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2010
Sisällysluettelo:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2011
Aiheet:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2011
Aiheet:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2008
Sisällysluettelo:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2007
Sisällysluettelo:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”Hae kokoteksti
Elektroninen
E-kirja
7
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Julkaistu 2008
Sisällysluettelo:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2012
Sisällysluettelo:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2013
Sisällysluettelo:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2008
Sisällysluettelo:
“...Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2007
Sisällysluettelo:
“... -- Integration of Learning and Reasoning Techniques -- Injecting Life with Computers -- Special Issue Extended...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2007
Sisällysluettelo:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2013
Sisällysluettelo:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”Hae kokoteksti
Elektroninen
E-kirja
14
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Hae kokoteksti
Elektroninen
E-kirja
15
“...
programs. To address these issues, nonlinear dynamic systems, notably Recurrent Neural Networks (RNNs...”
Hae kokoteksti
Hae kokoteksti
Artikkeli
16
Julkaistu 2006
Sisällysluettelo:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2005
Sisällysluettelo:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2008
Sisällysluettelo:
“... Engineering -- Towards an Integrated Approach to Food Engineering: Structure-Function Relationships...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2006
Sisällysluettelo:
“...-Marketplaces -- Customer Future Profitability Assessment: A Data-Driven Segmentation Function Approach...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2015
Sisällysluettelo:
“... -- 13. Interdisciplinary Functional Restoration and Pain Programs -- 14. Pain and Spirituality -- 15...”Hae kokoteksti
Elektroninen
E-kirja