Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "set theory"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"040 - [Unassigned]"
Showing
1
-
15
of
15
Search:
'"set theory"'
,
query time: 1.86s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
by
Farmer, William M.
Published 2023
Birkhäuser
Subjects:
“
...
Set
theory
...
”
Read Now
2
The Discrete Math Workbook : A Companion Manual Using Python
by
Kurgalin, Sergei
,
Borzunov, Sergei
Published 2020
Springer International Publishing
Table of Contents:
“
...Fundamentals of Mathematical Logic --
Set
Theory
-- Relations and Functions -- Combinatorics...
”
Read Now
3
The Discrete Math Workbook : A Companion Manual for Practical Study
by
Kurgalin, Sergei
,
Borzunov, Sergei
Published 2018
Springer International Publishing
Table of Contents:
“
...Fundamentals of Mathematical Logic --
Set
Theory
-- Relations and Functions -- Combinatorics...
”
Read Now
4
Rough Sets and Current Trends in Computing : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
“
...In recent years rough
set
theory
has attracted the attention of many researchers and practitioners...
”
Read Now
5
Elements of Computation Theory
by
Singh, Arindama
Published 2009
Springer London
Read Now
6
Comprehensive Mathematics for Computer Scientists 1 : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry
by
Mazzola, Guerino
,
Milmeister, Gérard
,
Weissmann, Jody
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...Sets, Numbers, and Graphs -- Fundamentals–Concepts and Logic -- Axiomatic
Set
Theory
-- Boolean Set...
”
Read Now
7
Extremal Combinatorics : With Applications in Computer Science
by
Jukna, Stasys
Published 2011
Springer Berlin Heidelberg
“
... together with impressive applications in computer science: methods of extremal
set
theory
, the linear...
”
Read Now
8
Apartness and Uniformity : A Constructive Development
by
Bridges, Douglas S.
,
Vîţă, Luminiţa Simona
Published 2011
Springer Berlin Heidelberg
Read Now
9
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... Proof -- Importing HOL Light into Coq -- A Mechanized Translation from Higher-Order Logic to
Set
Theory
...
”
Read Now
10
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Published 1990
Springer Berlin Heidelberg
“
... name is associated with
set
theory
. Many computing science, programming and software engineering...
”
Read Now
11
Formal Languages and Compilation
by
Crespi Reghizzi, Stefano
Published 2009
Springer London
Read Now
12
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... data types II computation on ADTs as ordinary computation -- A primitive recursive
set
theory
and AFA...
”
Read Now
13
SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proce...
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... environment -- Fuzzy
set
theory
and medical expert systems: Survey and model -- The Fusion object-oriented...
”
Read Now
14
Swarm, Evolutionary, and Memetic Computing : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Published 2013
Springer International Publishing
Table of Contents:
“
... Integrating Cellular Automata and Rough
Set
Theory
-- Fusion at Features Level in CBIR System Using Genetic...
”
Read Now
15
Theory and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...-topped Degrees -- Mitosis in Computational Complexity -- Models of Intuitionistic
Set
Theories
over...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
15
Collection
Springer eBooks 2005-
11
Springer Book Archives -2004
4
Author
Borzunov, Sergei
2
Kurgalin, Sergei
2
Bartosek, Miroslav
1
Bjørner, Dines
1
Bridges, Douglas S.
1
Börger, Egon
1
more ...
Cai, Jin-Yi
1
Cooper, Barry S.
1
Crespi Reghizzi, Stefano
1
Das, Swagatam
1
Dash, Shubhransu Sekhar
1
Farmer, William M.
1
Grzymala-Busse, Jerzy W.
1
Hoare, C.A.R.
1
Jukna, Stasys
1
Jäger, Gerhard
1
Kaufmann, Matt
1
Kleine Büning, Hans
1
Komorowski, Jan
1
Langmaack, Hans
1
Li, Angsheng
1
Mazzola, Guerino
1
Milmeister, Gérard
1
Panigrahi, Bijaya Ketan
1
Paulson, Lawrence C.
1
Richter, Michael M.
1
Singh, Arindama
1
Slowiński, Roman
1
Staudek, Jan
1
Suganthan, Ponnuthurai Nagaratnam
1
Tsumoto, Shusaku
1
Vîţă, Luminiţa Simona
1
Weissmann, Jody
1
Wiedermann, Jiri
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22040+-+%5BUnassigned%5D%22&lookfor=%22set+theory%22&type=AllFields
Send by Email
×
Loading...