1916 search results - page 21 / 384 » Reasoning with class algebra |
110
Voted
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
AI
2005
Springer
15 years 3 months ago
2005
Springer
112
click to vote
AMC
2006
15 years 4 months ago
2006
The main purpose of this paper is to discuss the equilibrium attractive properties of a class of multistep Runge
156
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...