Search Sciweavers | Sciweavers

4617 search results - page 15 / 924

» Automation of Diagrammatic Reasoning

click to vote

CORR
2006
Springer

111views Education» more CORR 2006»

Raisonner avec des diagrammes : perspectives cognitives et computationnelles

14 years 11 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 »

click to vote

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Domain Theory and Differential Calculus (Functions of one Variable)

15 years 4 months ago

Download eprints.imperial.ac.uk

Abbas Edalat, André Lieutier

claim paper

Read More »

click to vote

LICS
2002
IEEE

88views Automated Reasoning» more LICS 2002»

Semantic Subtyping

15 years 4 months ago

Download www.cduce.org

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

claim paper

Read More »

click to vote

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

15 years 4 months ago

Download www-lipn.univ-paris13.fr

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

claim paper

Read More »

click to vote

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Games on Graphs and Sequentially Realizable Functionals

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers