No label defined (Q4329264)
From MaRDI portal
scientific article; zbMATH DE number 1735903
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1735903 |
Statements
5 September 2002
0 references
data dependencies
0 references
tableaux deduction
0 references