Swart, Harrie de.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Automated reasoning with analytic tableaux and related methods = International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
by:
Swart, Harrie de.; SpringerLink (Online service); TABLEAUX'98 ((1998 :)
(Language materials, printed)