Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques (Q3682397)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques |
scientific article |
Statements
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques (English)
0 references
1985
0 references
multivalued logic
0 references
logic design
0 references
design automation
0 references
automated synthesis of combinational logic
0 references
