Workshop on theorem proving with analytic tableaux and related methods 04 1995 St. Goar, Allemagne
VIAF ID: 133336387 (Corporate)
Permalink: http://viaf.org/viaf/133336387
Preferred Forms
Works
Title | Sources |
---|---|
Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings |