Van E. Kelly

Department of Computer Science Rutgers University New Brunsw1ck . NJ 08903

1 paper in the IJCAI proceedings

IJCAI 1981

Representations for Reasoning about Digital Circuits

with Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings