Search Sciweavers | Sciweavers

7289 search results - page 36 / 1458

» A Dependent Set Theory

click to vote

LICS
1997
IEEE

84views Automated Reasoning» more LICS 1997»

Complete Cuboidal Sets in Axiomatic Domain Theory

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Marcelo P. Fiore, Gordon D. Plotkin, A. John Power

claim paper

Read More »

140

click to vote

FTP
1998
Springer

214views Automated Reasoning» more FTP 1998»

An Equational Re-engineering of Set Theories

15 years 10 months ago

Download www.settheory.com

Andrea Formisano, Eugenio G. Omodeo

claim paper

Read More »

153

click to vote

GRC
2007
IEEE

110views Applied Computing» more GRC 2007»

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

15 years 9 months ago

Download www.academypublisher.com

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

claim paper

Read More »

120

click to vote

TPHOL
1995
IEEE

80views Automated Reasoning» more TPHOL 1995»

Experiments with ZF Set Theory in HOL and Isabelle

15 years 9 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers