Search Sciweavers | Sciweavers

5510 search results - page 98 / 1102

» Mathematics

156

click to vote

TPHOL
2009
IEEE

236views Automated Reasoning» more TPHOL 2009»

Packaging Mathematical Structures

16 years 1 months ago

Download www.normalesup.org

François Garillot, Georges Gonthier, Assia ...

claim paper

Read More »

155

click to vote

TFM
2009
Springer

151views Formal Methods» more TFM 2009»

Which Mathematics for the Information Society?

16 years 1 months ago

Download www.di.uminho.pt

João F. Ferreira, Alexandra Mendes, Roland ...

claim paper

Read More »

143

click to vote

WOLLIC
2009
Springer

88views Artificial Intelligence» more WOLLIC 2009»

Mathematical Logic for Life Science Ontologies

16 years 1 months ago

Download lc2009.fmi.uni-sofia.bg

Carsten Lutz, Frank Wolter

claim paper

Read More »

157

click to vote

FMN
2009
Springer

85views Multimedia» more FMN 2009»

A Mathematical Model for Evaluating the Perceptual Quality of Video

16 years 1 months ago

Download iie.fing.edu.uy

Jose Joskowicz, José C. López-Ardao,...

claim paper

Read More »

124

click to vote

MKM
2009
Springer

90views Information Technology» more MKM 2009»

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers