Ebooks by D Cantone
Online library
New books
Statistics
Author Index
authors: 124845
books : 333952
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Books search
D
::
D Cantone
: download and read ebooks
A decision procedure for set-theoretic formulae involving rank and cardinality comparison
Decision algorithms for some fragments of analysis and related areas
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators
Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs
Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs
Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection
On the decidability of Presburger arithmetic with homogeneous exponentiation
Set-theoretic reductions of Hilbert's tenth problem
Some decidability results on quantified sublanguages of set theory
The automation of syllotistic. II. Optimization and complexity issues
'); } else { document.write(''); } //-->
'); } else { document.write(''); } //-->
Related authors:
Various
1 book in pdf format
Abraham Lincoln
464 books in txt format
William Shakespeare
490 books in mobi format
United States. Congress. House. Committee on the J
198 books in epub format
Anthony Trollope
83 books in txt format
S. (Sabine) Baring-Gould
82 books in epub format
Benjamin Disraeli
72 books in djvu format
North Carolina. Secretary of State
44 books in mobi format
Jules Verne
38 books in mobi format
Daniel Defoe
39 books in epub format
This day...
On June 25, 1865
Robert Henri
, American painter (d.
1929
), was born
Dr.
Douglas Hyde
is inaugurated the first
President of Ireland
.,
Most popular books
The Mysterious Affair at Styles
by
Agatha Christie