Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program description » problem description, process description, profile description
function functions » functions functions, function function, junction functions
description https » description atoms, description mtt, description graphs
functions https » foundations https
https function » its function, sites function, ups function
program description » problem description, process description, profile description
function functions » functions functions, function function, junction functions
description https » description atoms, description mtt, description graphs
functions https » foundations https
https function » its function, sites function, ups function
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
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
View full text
View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...Modeling of the Heart - Anatomy Extraction and Description -- Multi-surface Cardiac Modelling...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Functionality and Behavior -- Service Levels, Security, and Trust.-Modeling Foundations -- Representing USDL...”View full text
Electronic
eBook
6
“... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...”
Article
7
Published 2012
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
8
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... measures -- Trade-offs between computational models and modes of operation -- Succinctness of description...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“...Invited Talks -- Regular Functions -- Unambiguity in Automata Theory -- Contributed Papers...”View full text
Electronic
eBook
11
Published 2013
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...”View full text
Electronic
eBook
13
“... mosque's function and the current perception of the mosque programs. The paper adopts the qualitative...”
Article
14
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
18
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook