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