Representations for Reasoning about Digital Circuits

Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly. Representations for Reasoning about Digital Circuits. In Patrick J. Hayes, editor, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981. pages 343-344, William Kaufmann, 1981.

Abstract

Abstract is missing.