Cover Image
Read Now

261
by Reisel, Robert B.
Published 1982
Springer New York
Table of Contents: “...0. Some Ideas of Logic -- I. Sets and Mappings -- 1. Some Concepts of Set Theory -- 2. Some Further...”
Cover Image
Read Now

262
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...’ Mechanism for a Proof-Verifier Based on First-Order Set Theory -- An Open Research Problem: Strong...”
Cover Image
Read Now

263
by Laubenbacher, Reinhard, Pengelley, David
Published 1999
Springer New York
Table of Contents: “... Model for Non-Euclidean Geometry. -- 2 Set Theory: Taming the Infinite -- 2.1 Introduction -- 2.2...”
Cover Image
Read Now

264
Published 1987
Birkhäuser
Table of Contents: “... in Set Theory -- Maximal Flow Through a Network -- On Picture-Writing* -- A Theorem on Flows in Networks...”
Cover Image
Read Now

265
Published 2001
Springer New York
Table of Contents: “... Accuracy Under Fuzzy Logic -- 16 Alternative Set Theories for Uncertainty in Spatial Information -- 17...”
Cover Image
Read Now

266
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Certified Polynomial-Based Decision Procedure for Propositional Logic -- Finite Set Theory in ACL2...”
Cover Image
Read Now

267
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk I -- Click’n Prove: Interactive Proofs within Set Theory -- Hardware and Assembler...”
Cover Image
Read Now

268
by Singer, I.M., Thorpe, J.A.
Published 1967
Springer New York
Table of Contents: “...1 Some point set topology -- 1.1 Naive set theory -- 1.2 Topological spaces -- 1.3 Connected...”
Cover Image
Read Now

269
by Wygralak, Maciej
Published 2003
Springer Berlin Heidelberg
“... sets. As general tools to determine numbers of elements the cardinals have been created in set theory...”
Cover Image
Read Now

270
Published 1988
Springer Berlin Heidelberg
“... into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what...”
Cover Image
Read Now

271
by Höhle, Ulrich
Published 2001
Springer US
“... solid base for Analysis and it is intimately related to the success of set theory. Many Valued Topology...”
Cover Image
Read Now

272
by Bandemer, Hans, Näther, Wolfgang
Published 1992
Springer Netherlands
“... diagnostic or control systems. The modelling presented uses ideas from fuzzy set theory and the suggested...”
Cover Image
Read Now

273
Published 1992
Springer Netherlands
“...This book has a fundamental relationship to the International Seminar on Fuzzy Set Theory held each...”
Cover Image
Read Now

274
Published 1976
Vieweg+Teubner Verlag
Table of Contents: “...1 Classical real variable -- 1.1 Set theory—a framework -- 1.2 The topology of R -- 1.3 Classical...”
Cover Image
Read Now

275
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... in the framework of evidential reasoning -- O-theory: A probabilistic alternative to fuzzy set theory -- Efficient...”
Cover Image
Read Now

276
by Causey, Robert L.
Published 1977
Springer Netherlands
“... of the ideas and notation of elementary logic and set theory. Section C contains an introductory discussion...”
Cover Image
Read Now

277
Published 1990
Springer Berlin Heidelberg
“... name is associated with set theory. Many computing science, programming and software engineering...”
Cover Image
Read Now

278
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... logic -- Tracking design changes with formal verification -- Weak systems of set theory related to HOL...”
Cover Image
Read Now

279
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of existing high level synthesis algorithms in HOL -- Five axioms of alpha-conversion -- Set theory, higher...”
Cover Image
Read Now

280
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... function approximation -- 4. An algorithmic approach to the main concepts of rough set theory -- 5...”