1916 search results - page 21 / 384 » Reasoning with class algebra |
AIIA
2007
Springer
14 years 4 months ago
2007
Springer
AMAI
2006
Springer
13 years 10 months ago
2006
Springer
AI
2005
Springer
13 years 9 months ago
2005
Springer
AMC
2006
13 years 10 months ago
2006
The main purpose of this paper is to discuss the equilibrium attractive properties of a class of multistep Runge
CADE
2004
Springer
14 years 10 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...