Open AccessTheory Institute in Automated Reasoning held at Argonne National Laboratory, August 6--10, 1990
Author(s) -
L. 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom