Logic Circuit Validation
Autor: | Gail W Pieper, Larry Wos |
---|---|
Rok vydání: | 1999 |
Předmět: | |
Zdroj: | A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning |
DOI: | 10.1142/9789812817952_0005 |
Databáze: | OpenAIRE |
Externí odkaz: |