Sciweavers

1670 search results - page 11 / 334
» On Skolemization in constructive theories
Sort
View
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...
112
Voted
DLT
1997
15 years 3 months ago
Recursive Constructions in the Theory of P.I. Algebras
Tsetska G. Raskova, Peter I. Rashkov