Open AccessTheory 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