Search Sciweavers | Sciweavers

2086 search results - page 10 / 418

» Mathematical Theory Exploration

click to vote

WOODPECKER
2001

105views Knowledge Management» more WOODPECKER 2001»

On Modeling, Mathematics, Category Theory and RM-ODP

13 years 10 months ago

Download www.cs.toronto.edu

Zinovy Diskin

claim paper

Read More »

click to vote

CORR
2008
Springer

73views Education» more CORR 2008»

Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

13 years 8 months ago

Download tocl.acm.org

Robin Adams, Zhaohui Luo

claim paper

Read More »

click to vote

TCOS
2008

93views Computer Science» more TCOS 2008»

Toward a Generic Mathematical Model of Abstract Game Theories

13 years 8 months ago

Download enel.ucalgary.ca

Yingxu Wang

claim paper

Read More »

click to vote

COMPLEXITY
2004

84views more COMPLEXITY 2004»

A mathematical theory of strong emergence using multiscale variety

13 years 8 months ago

Download necsi.org

Yaneer Bar-Yam

claim paper

Read More »

click to vote

CORR
2011
Springer

167views Education» more CORR 2011»

Type Classes for Mathematics in Type Theory

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers