Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functionality setting » functionality testing, functionality securing, functional setting
program description » problem description, process description, profile description
https functionality » its functionality, bags functionality, cross functionality
description https » description atoms, description mtt, description graphs
setting https » being https, writing https, feeding https
functionality setting » functionality testing, functionality securing, functional setting
program description » problem description, process description, profile description
https functionality » its functionality, bags functionality, cross functionality
description https » description atoms, description mtt, description graphs
setting https » being https, writing https, feeding https
1
Indholdsfortegnelse:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
2
Udgivet 2015
Indholdsfortegnelse:
“...Invited Talks -- Regular Functions -- Unambiguity in Automata Theory -- Contributed Papers...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2005
Indholdsfortegnelse:
“...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... Directions in the KES Centre -- Logical and Mathematical Foundations -- On Irreducible Descriptive Sets...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2006
Indholdsfortegnelse:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2008
Indholdsfortegnelse:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“...Modeling of the Heart - Anatomy Extraction and Description -- Multi-surface Cardiac Modelling...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2014
Indholdsfortegnelse:
“... Programming -- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets -- Some...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2013
Indholdsfortegnelse:
“... Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2007
Indholdsfortegnelse:
“... Definitions -- On the Complexity of Answer Set Programming with Aggregates -- Experimenting with Look-Back...”Få fuldtekst
Electronisk
eBog
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Udgivet 2006
Indholdsfortegnelse:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Få fuldtekst
Electronisk
eBog
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Få fuldtekst
Electronisk
eBog
17
Indholdsfortegnelse:
“... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
af Lafaye de Micheaux, Pierre., Lafaye de Micheaux, Pierre., Drouilhet, Rémy., Liquet, Benoit.
Udgivet 2013
Indholdsfortegnelse:
“... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...”Udgivet 2013
Få fuldtekst
Electronisk
eBog
19
Fag:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog