Biconditional Logic
| Autor: | Luca Gaetano Amaru |
|---|---|
| Rok vydání: | 2016 |
| Zdroj: | New Data Structures and Algorithms for Logic Synthesis and Verification ISBN: 9783319431734 |
| DOI: | 10.1007/978-3-319-43174-1_2 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Autor: | Luca Gaetano Amaru |
|---|---|
| Rok vydání: | 2016 |
| Zdroj: | New Data Structures and Algorithms for Logic Synthesis and Verification ISBN: 9783319431734 |
| DOI: | 10.1007/978-3-319-43174-1_2 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|