Theorem proving with analytic tableaux and related methods. 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings (Q1894666)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Theorem proving with analytic tableaux and related methods. 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings |
scientific article; zbMATH DE number 782757
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theorem proving with analytic tableaux and related methods. 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings |
scientific article; zbMATH DE number 782757 |
Statements
Theorem proving with analytic tableaux and related methods. 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings (English)
0 references
8 August 1995
0 references
The articles of this volume will not be indexed individually.
0 references
Theorem proving
0 references
Analytic tableaux
0 references
Workshop
0 references
Proceedings
0 references
TABLEAUX '95
0 references
St. Goar (Germany)
0 references
