International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Q6049582)
Jump to navigation
Jump to search
conference series on automated reasoning with analytic tableaux methodologies
- TABLEAUX
Language | Label | Description | Also known as |
---|---|---|---|
English | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |
conference series on automated reasoning with analytic tableaux methodologies |
|
Statements
1992
0 references
TABLEAUX (English)
0 references
International Conference on Theorem Proving with Analytic Tableaux and Related Methods (English)
1 reference
Identifiers
1 reference