Logic in ICAD and Use of Logic by Designers

Aart Bijil. Logic in ICAD and Use of Logic by Designers. In David C. Brown, Manjula B. Waldron, Hiroyuki Yoshikawa, editors, Intelligent Computer Aided Design, Proceedings of the IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91), Columbus, OH, USA, 30 September - 3 October 1991. Volume B-4 of IFIP Transactions, pages 379-407, North-Holland, 1991.

Abstract

Abstract is missing.