z-logo
open-access-imgOpen Access
Theory Institute in Automated Reasoning held at Argonne National Laboratory, August 6--10, 1990
Author(s) -
Larry Wos
Publication year - 1990
Language(s) - English
Resource type - Reports
DOI - 10.2172/6540934
Subject(s) - national laboratory , library science , computer science , automated reasoning , operations research , engineering ethics , management science , engineering , artificial intelligence , engineering physics

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here