a decision procedure for set theoretic formulae involving rank and cardinality c
by
d cantone
series:
Unknown
first published:
Unknown
decision algorithms for some fragments of analysis and related areas
by
d cantone
series:
Unknown
first published:
Unknown
on the decidability of presburger arithmetic with homogeneous exponentiation
by
d cantone
series:
Unknown
first published:
Unknown
set theoretic reductions of hilberts tenth problem
by
d cantone
series:
Unknown
first published:
Unknown
the automation of syllotistic ii optimization and complexity issues
by
d cantone
series:
Unknown
first published:
Unknown
bugle signals calls marches for army navy marine corps revenue cutter ser
by
daniel j daniel joseph canty
series:
Unknown
first published:
Unknown
craig phadric visions of sensibility with legendary tales and occasional piec
by
david carey
series:
Unknown
first published:
Unknown