Artificial Intelligence in Design '92
Artificial Intelligence in Design (Artificial Intelligence in Industry)
VLSI CAD Tools and Applications (The Springer International Series in Engineering and Computer Science)
Artificial Intelligence in Design '98
Artificial Intelligence in Design ’00
Artificial Intelligence in Design ’96
VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)
Artificial Intelligence in Logic Design
KI-94: Advances in Artificial Intelligence: 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings (Lecture Notes in Computer Science, 861)
Advances in Intelligent Computing - IPMU '94 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994. Selected Papers