7075 search results - page 92 / 1415 » Models and heterogeneous reasoning |
ITS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
ICEIS
2003
IEEE
15 years 4 months ago
2003
IEEE
FM
2001
Springer
15 years 4 months ago
2001
Springer
COOPIS
1998
IEEE
15 years 3 months ago
1998
IEEE
CBSE
2006
Springer
15 years 3 months ago
2006
Springer