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 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
View full text
Electronic eBook
4
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...
View full text
Electronic eBook
6
by Comninos, Peter., Comninos, Peter.
Published 2006
Table of Contents: ...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
View full text
Electronic eBook
8
by Zhang, Yue., Zhang, Yue.
Published 2015
Table of Contents: ...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...
View full text
Electronic eBook
9
Table of Contents: ...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...
View full text
Electronic eBook
11
Table of Contents: ...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
View full text
Electronic eBook
14
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
View full text
Electronic eBook