9780444896865 - theorem provers in circuit design: proceedings of the ifip tc10/wg10.2 international conference on theorem provers in circuit design : theory, pract: ... nijmegen, the netherlands, 22-24 june 1992 di ifip tc10/wg10.2 international conference on theorem provers in circuit design: theory, practice, and experience (1992 : nijmegen, netherlands); melham, t. f.; stavridou, v. (1 risultati)