Howard Jacobs

Publication Activity (10 Years)

Years Active: 1981-1986
Publications (10 Years): 0

Publications

Howard Jacobs
Verification of a Second-Generation 32-Bit Microprocessor. Computer 19 (4) (1986)
Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly
Representations for Reasoning about Digital Circuits. IJCAI (1981)