No label defined (Q5365492)
From MaRDI portal
scientific article; zbMATH DE number 6787684
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6787684 |
Statements
6 October 2017
0 references
relation algebra
0 references
Galois connection
0 references
heuristics for proofs
0 references