No label defined (Q4518817)
From MaRDI portal
scientific article; zbMATH DE number 1537943
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1537943 |
Statements
3 December 2000
0 references
natural deduction proofs
0 references
structured explanations
0 references
knowledge-based systems
0 references
hypertexts
0 references