Sciweavers

3571 search results - page 23 / 715
» Cohen and Set Theory
Sort
View
FTP
1998
Springer
15 years 6 months ago
An Equational Re-engineering of Set Theories
Andrea Formisano, Eugenio G. Omodeo
GRC
2007
IEEE
15 years 5 months ago
A New Method for Constructing Decision Tree Based on Rough Set Theory
Longjun Huang, Minghe Huang, Bin Guo, Zhiming Zhua...
TPHOL
1995
IEEE
15 years 5 months ago
Experiments with ZF Set Theory in HOL and Isabelle
Sten Agerholm, Michael J. C. Gordon
ECAI
2008
Springer
15 years 3 months ago
Definability in Logic and Rough Set Theory
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu