Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14--17, 2005. Proceedings. (Q2493591)
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: Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14--17, 2005. Proceedings. |
scientific article; zbMATH DE number 5034457
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14--17, 2005. Proceedings. |
scientific article; zbMATH DE number 5034457 |
Statements
Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14--17, 2005. Proceedings. (English)
0 references
22 June 2006
0 references
0.9274994134902954
0 references
0.9171255230903624
0 references
0.906060516834259
0 references
0.8898030519485474
0 references
