No label defined (Q4246800)
From MaRDI portal
scientific article; zbMATH DE number 1301606
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1301606 |
Statements
28 February 2000
0 references
labeled deductive systems
0 references
revision
0 references
update
0 references
belief base
0 references
inconsistency
0 references