Search Sciweavers | Sciweavers

3353 search results - page 21 / 671

» Laver and set theory

click to vote

LICS
1997
IEEE

84views Automated Reasoning» more LICS 1997»

Complete Cuboidal Sets in Axiomatic Domain Theory

15 years 1 months 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

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

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

15 years 1 months ago

Download www.brics.dk

Sten Agerholm, Michael J. C. Gordon

claim paper

Read More »

Voted

AAAI
2007

92views Intelligent Agents» more AAAI 2007»

Fuzzy Set Theory-Based Belief Processing for Natural Language Texts

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers