Documents Related by Co-Citation

449 Literate programming – Donald E. Knuth - 1984
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
1636 The Design of Everyday Things – D Norman - 2002
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
416 Knowledge Representation: Logical, Philosophical, and Computational Foundations Computational Foundations by John F. Sowa (Book Review) – John E Sowa, Stuart C. Shapiro - 2006
390 From Discourse to Logic: An Introduction to Model Theoretic – H Kamp, U Reyle - 1993
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
203 A Basis for a Mathematical Theory of Computation – John Mccarthy - 1963