Search Sciweavers | Sciweavers

5510 search results - page 98 / 1102

» Mathematics

111

click to vote

TPHOL
2009
IEEE

236views Automated Reasoning» more TPHOL 2009»

Packaging Mathematical Structures

15 years 10 months ago

Download www.normalesup.org

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

claim paper

Read More »

111

click to vote

TFM
2009
Springer

151views Formal Methods» more TFM 2009»

Which Mathematics for the Information Society?

15 years 10 months ago

Download www.di.uminho.pt

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

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

88views Artificial Intelligence» more WOLLIC 2009»

Mathematical Logic for Life Science Ontologies

15 years 10 months ago

Download lc2009.fmi.uni-sofia.bg

Carsten Lutz, Frank Wolter

claim paper

Read More »

116

click to vote

FMN
2009
Springer

85views Multimedia» more FMN 2009»

A Mathematical Model for Evaluating the Perceptual Quality of Video

15 years 10 months ago

Download iie.fing.edu.uy

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

claim paper

Read More »

click to vote

MKM
2009
Springer

90views Information Technology» more MKM 2009»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers