Andrew Gelsey (gelsey)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Gelsey, Andrew. 1995. “Automated Reasoning about Machines.” Artificial Intelligence 74(1): 1–53.
Gelsey, Andrew, Schwabacher, Mark and Smith, Donald. 1998. “Using Modeling Knowledge to Guide Design Space Search.” Artificial Intelligence 101(1–2): 35–62.