Timothy R. Colburn - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2011

Decoupling as a Fundamental Value of Computer ScienceTimothy R. Colburn, Gary M. Shute. mima, 21(2):241-259, 2011. [doi]

2007

Abstraction in Computer ScienceTimothy R. Colburn, Gary M. Shute. mima, 17(2):169-184, 2007. [doi]

1998

Information Modeling Aspects of Software DevelopmentTimothy R. Colburn. mima, 8(3):375-393, 1998. [doi]

1996

Book reviewsJustin 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. mima, 6(1):89-129, 1996. [doi]

1995

Heuristics, justification, and defeasible reasoningTimothy R. Colburn. mima, 5(4):467-487, 1995. [doi]

1993

Program Verification, Defeasible Reasoning, and Two Views of Computer ScienceTimothy R. Colburn. In Timothy R. Colburn, James H. Fetzer, Terry L. Rankin, editors, Program Verification - Fundamental Issues in Computer Science. Volume 14 of Studies in Cognitive Systems, pages 375-399, Springer Netherlands, 1993. [doi]

Computer Science and PhilosophyTimothy R. Colburn. In Timothy R. Colburn, James H. Fetzer, Terry L. Rankin, editors, Program Verification - Fundamental Issues in Computer Science. Volume 14 of Studies in Cognitive Systems, pages 3-31, Springer Netherlands, 1993. [doi]

1991

Defeasible reasoning and logic programmingTimothy R. Colburn. mima, 1(4):417-436, 1991. [doi]

Program verification, defeasible reasoning, and two views of computer scienceTimothy R. Colburn. mima, 1(1):97-116, 1991. [doi]

Sign in or sign up to see more results.

runs on WebDSL