No label defined (Q4281560)
From MaRDI portal
scientific article; zbMATH DE number 512863
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 512863 |
Statements
26 September 1994
0 references
computer aided design
0 references
circuit designs
0 references
functional specification
0 references
branching programs
0 references
Boolean functions
0 references
symbolic Boolean manipulation
0 references
