9780444896865 - theorem provers in circuit design: proceedings of the ifip tc10/wg10.2 international conference on theorem provers in circuit design : theory, pract: ... a, computer science and technology, a-10) von 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 Ergebnisse)