3773 search results - page 88 / 755 » Logical Reasoning |
103
Voted
CADE
2004
Springer
16 years 3 months ago
2004
Springer
115
Voted
CADE
2002
Springer
16 years 3 months ago
2002
Springer
117
Voted
TIME
2009
IEEE
15 years 10 months ago
2009
IEEE
CADE
1994
Springer
15 years 7 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.