Harry G. Barrow (barrow-hg)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ambler, A. P., Barrow, Harry G., Brown, Christopher M., Burstall, R. M. and Popplestone, R. J. 1975. “A Versatile System for Computer-Controlled Assembly.” Artificial Intelligence 6(2): 129–156.
Barrow, Harry G. 1984. “VERIFY: A Program for Proving Correctness of Digital Hardware Designs.” Artificial Intelligence 24(1–3): 437–491.
Barrow, Harry G. and Tenenbaum, Jam M. 1981. “Interpreting Line Drawings as Three-Dimensional Surfaces.” Artificial Intelligence 17(1–3): 75–116.