C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalization of VHDL Synthesis Procedure in Higher-Order Logic.
X. Wang
Edward P. Stabler
Published in:
TPHOLs (1991)
Keyphrases
</>
higher order logic
higher order
logical framework
theorem prover
conditional logic
knowledge representation
artificial intelligence
integrated circuit
circuit design