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

14 years 1 days ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

click to vote

FTP
1998
Springer

214views Automated Reasoning» more FTP 1998»

An Equational Re-engineering of Set Theories

14 years 11 hour 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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers