Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function translation » fiction translation, fiction translations, function transcription
translation https » transportation https, organization https
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
https function » its function, sites function, ups function
function translation » fiction translation, fiction translations, function transcription
translation https » transportation https, organization https
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... into functional research of MSCs -- Human neural development and human embryonic stem cell neural differentiation...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...”View full text
Electronic
eBook
4
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
5
Published 2007
Table of Contents:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
7
by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Published 2011
View full text
Electronic
eBook
8
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
9
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
10
Published 2013
Table of Contents:
“... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...”View full text
Electronic
eBook
11
Published 2011
Table of Contents:
“...Transcriptional and post-transcriptional programming by long noncoding RNAs -- Long noncoding RNA...”View full text
Electronic
eBook
12
by Janssen, Jeroen., Janssen, Jeroen., Schockaert, Steven., Vermeir, Dirk., De Cock, Martine.
Published 2012
Table of Contents:
“...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...”Published 2012
View full text
Electronic
eBook
13
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
14
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”View full text
Electronic
eBook