1 search results - page 1 / 1 » ismis 1993 |
210
Voted
ISMIS
1993
Springer
15 years 11 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...