1 search results - page 1 / 1 » ismis 1993 |
ISMIS
1993
Springer
13 years 9 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...