1
per Kateri, Maria., Kateri, Maria.
Publicat 2014
Taula de continguts: ...Preface -- Introduction -- Analysis of Two-Way Tables -- Analysis of Multi-Way Tables -- Log-Linear...
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Obtenir text complet
Electrònic eBook
4
Publicat 2008
Taula de continguts: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... -- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog -- Aggregates in Constraint...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Obtenir text complet
Electrònic eBook
7
per Liu, G.R., Liu, G.R., Gu, Y.T.
Publicat 2005
Taula de continguts: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Obtenir text complet
Electrònic eBook
8
Publicat 2013
Taula de continguts: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
Obtenir text complet
Electrònic eBook
11
per Bramer, Max., Bramer, Max.
Publicat 2015
Taula de continguts: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
Obtenir text complet
Electrònic eBook
12
Publicat 2013
Taula de continguts: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Obtenir text complet
Electrònic eBook
14
Taula de continguts: ...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...
Obtenir text complet
Electrònic eBook
15
Taula de continguts: ...Installing and Updating R -- Running R -- Help and Documentation -- Programming Language Basics...
Obtenir text complet
Electrònic eBook
16
Publicat 2013
Taula de continguts: ... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...
Obtenir text complet
Electrònic eBook
18
Publicat 2014
Taula de continguts: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Obtenir text complet
Electrònic eBook