Timothy R. Colburn

Publication Activity (10 Years)

Years Active: 1991-2011
Publications (10 Years): 0

Publications

Timothy R. Colburn, Gary M. Shute
Decoupling as a Fundamental Value of Computer Science. Minds Mach. 21 (2) (2011)
Timothy R. Colburn, Gary M. Shute
Metaphor in computer science. J. Appl. Log. 6 (4) (2008)
Timothy R. Colburn, Gary M. Shute
Abstraction in Computer Science. Minds Mach. 17 (2) (2007)
Timothy R. Colburn
Information Modeling Aspects of Software Development. Minds Mach. 8 (3) (1998)
Justin Leiber, Robert M. French, John A. Barnden, Syed S. Ali, Richard Wyatt, Timothy R. Colburn, Brian Harvey, Norman Gall, Susan G. Josephson, Francesco Orilia, Achille C. Varzi
Book reviews. Minds Mach. 6 (1) (1996)
Timothy R. Colburn
Heuristics, justification, and defeasible reasoning. Minds Mach. 5 (4) (1995)
Timothy R. Colburn
Defeasible reasoning and logic programming. Minds Mach. 1 (4) (1991)
Timothy R. Colburn
Program verification, defeasible reasoning, and two views of computer science. Minds Mach. 1 (1) (1991)