Search Sciweavers | Sciweavers

4617 search results - page 15 / 924

» Automation of Diagrammatic Reasoning

156

click to vote

CORR
2006
Springer

111views Education» more CORR 2006»

Raisonner avec des diagrammes : perspectives cognitives et computationnelles

15 years 6 months ago

Download www-lipn.univ-paris13.fr

ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...

Catherine Recanati

claim paper

Read More »

112

click to vote

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Domain Theory and Differential Calculus (Functions of one Variable)

15 years 11 months ago

Download eprints.imperial.ac.uk

Abbas Edalat, André Lieutier

claim paper

Read More »

112

click to vote

LICS
2002
IEEE

88views Automated Reasoning» more LICS 2002»

Semantic Subtyping

15 years 11 months ago

Download www.cduce.org

Alain Frisch, Giuseppe Castagna, Véronique ...

claim paper

Read More »

106

click to vote

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

15 years 11 months ago

Download www-lipn.univ-paris13.fr

Daniel Hirschkoff, Étienne Lozes, Davide Sa...

claim paper

Read More »

122

click to vote

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Games on Graphs and Sequentially Realizable Functionals

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers