Publication

AAAI-FS 1992

Conference paper

Automating Reasoning about Mechanical Devices

Abstract

No abstract available.

Date

23 Oct 1992

Publication

Authors

Leo Joskowicz

IBM-affiliated at time of publication