Computer Assisted Reasoning

J. Autom. Reasoning, pp. 237-242, 2009.

Cited by: 0|Bibtex|Views1|Links
EI
Keywords:
Theorem ProveHigh Order LogicAutomate Theorem ProveHardware Description LanguageInteractive Proof

Code:

Data:

Your rating :
0

 

Tags
Comments