Search Sciweavers | Sciweavers

3571 search results - page 23 / 715

» Cohen and Set Theory

click to vote

FTP
1998
Springer

214views Automated Reasoning» more FTP 1998»

An Equational Re-engineering of Set Theories

13 years 11 months ago

Download www.settheory.com

Andrea Formisano, Eugenio G. Omodeo

claim paper

Read More »

click to vote

GRC
2007
IEEE

110views Applied Computing» more GRC 2007»

A New Method for Constructing Decision Tree Based on Rough Set Theory

13 years 11 months ago

Download www.academypublisher.com

Longjun Huang, Minghe Huang, Bin Guo, Zhiming Zhua...

claim paper

Read More »

click to vote

TPHOL
1995
IEEE

80views Automated Reasoning» more TPHOL 1995»

Experiments with ZF Set Theory in HOL and Isabelle

13 years 11 months ago

Download www.brics.dk

Sten Agerholm, Michael J. C. Gordon

claim paper

Read More »

click to vote

AAAI
2007

92views Intelligent Agents» more AAAI 2007»

Fuzzy Set Theory-Based Belief Processing for Natural Language Texts

13 years 10 months ago

Download www.rene-witte.net

Ralf Krestel, René Witte, Sabine Bergler

claim paper

Read More »

click to vote

ECAI
2008
Springer

82views Artificial Intelligence» more ECAI 2008»

Definability in Logic and Rough Set Theory

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers