Interactive Theorem Proving: An Empirical Study of User Activity

相似书籍

• A Study Of User Activity In Interactive Theorem Proving
  由: Aitken, S, et al.
  出版: (1995)
• Interactive Proof Discovery: An Empirical Study of HOL Users
  由: Aitken, S, et al.
  出版: (1995)
• Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
  由: Aagaard, M, et al.
  出版: (1999)
• Some Research Issues in Higher Order Logic Theorem Proving
  由: Melham, T
  出版: (1996)
• Integrating Model Checking and Theorem Proving in a Reflective Functional Language
  由: Melham, T
  出版: (2004)