1322 search results - page 17 / 265 » Unsound Theorem Proving |
ADG
2004
Springer
14 years 27 days ago
2004
Springer
CAV
2004
Springer
14 years 27 days ago
2004
Springer
DIAGRAMS
2004
Springer
14 years 26 days ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
ECAI
2004
Springer
14 years 26 days ago
2004
Springer
CADE
2001
Springer
13 years 12 months ago
2001
Springer
