Search alternatives:
"enclosures" » "inclosures", "eninclosures", "encloses"
"closures" » "inclosures", "closes"
Cover Image
Read Now

1
by Bolin, Michael
Published 2010
O'Reilly
Subjects: “...Closure (Computer file) / blmlsh...”
Cover Image
Read Now

2
Published 2017
Springer International Publishing
Table of Contents: “...Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization...”
Cover Image
Read Now

3
by Ganter, Bernhard, Obiedkov, Sergei
Published 2016
Springer Berlin Heidelberg
Table of Contents: “...What to expect from this book -- Concept lattices -- An algorithm for closure systems...”
Cover Image
Read Now

4
Published 2023
Springer Nature Switzerland
Table of Contents: “... -- On the commutative diagrams among Galois connections involved in closure structures -- Scaling Dimension -- Three...”
Cover Image
Read Now

5
Published 2019
Springer International Publishing
Table of Contents: “... of a Closure System -- Dualization in lattices given by implicational bases -- Properties of Finite...”
Cover Image
Read Now

6
by Aravinth, Anto, Machiraju, Srikanth
Published 2018
Apress
Table of Contents: “... functions -- Chapter 3: Higher Order Functions -- Chapter 4: Closures and higher order functions -- Chapter...”
Cover Image
Read Now

7
by Zhang, David, Wu, Kebin
Published 2020
Springer Nature Singapore
Table of Contents: “... -- CHAPTER 4 GLOTTAL CLOSURE INSTANTS DETECTION -- CHAPTER 5 FEATURE LEARNING -- CHAPTER 6 JOINT LEARNING...”
Cover Image
Read Now

8
by Michaelsen, Eckart, Meidow, Jochen
Published 2019
Springer International Publishing
Table of Contents: “... Symmetry -- Closure – Hierarchies of Gestalten -- Search -- Illusions -- Prolongation in Good Continuation...”
Cover Image
Read Now

9
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Generic Hermitian Quantifier Elimination -- Extending Finite Model Searching with Congruence Closure...”
Cover Image
Read Now

10
by Aravinth, Anto
Published 2017
Apress
Table of Contents: “... functions -- Chapter 3:  Functions === Data -- Chapter 4:  Arrays -- Chapter 5: Closures and Currying...”
Cover Image
Read Now

11
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... with Interior and Closure Operators and Abstract Approximation Spaces -- Rough Approximation Based on Weak q...”
Cover Image
Read Now

12
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... theories for nonmonotonic reasoning: Preliminary report -- Autoepistemic stable closures and contradiction...”
Cover Image
Read Now

13
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem...”
Cover Image
Read Now

14
Published 2024
Springer Nature Switzerland
Table of Contents: “... between semicopulas and other algebraic structures -- Closure theory of semirings-valued fuzzy sets...”
Cover Image
Read Now

15
by Peters, James F.
Published 2016
Springer International Publishing
Table of Contents: “... and Matlab Scripts -- Appendix B: Kuratowski Closure Axioms -- Appendix C: Sets. A Topological Perspective...”
Cover Image
Read Now

16
by Teixeira, Pedro
Published 2012
Wiley
Table of Contents: “... and JavaScript Make Writing Asynchronous Applications Easier; What Are Closures?; How Closures Help When...”
Cover Image
Read Now

17
Published 2021
Springer International Publishing
Table of Contents: “... Linear Arithmetic -- Non-Disjoint Combined Unification and Closure by Equational Paramodulation -- Symbol...”
Cover Image
Read Now

18
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base...”
Cover Image
Read Now

19
Published 2017
Springer International Publishing
Table of Contents: “... -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum...”
Cover Image
Read Now

20
Published 2021
Springer International Publishing
Table of Contents: “... Closed Sets in Closure Systems -- A new Kind of Implication to Reason with Unknown Information -- Pruning...”