No label defined (Q3939273)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1982
0 references
automated theorem-proving program
0 references
automated reasoning assistant
0 references
AURA
0 references
ternary Boolean algebra
0 references
finite semigroups
0 references
equivalential calculus
0 references
design of digital circuits
0 references
