bookOct 3, 2011Closed access

Computer-Aided Reasoning: An Approach

MKMatt KaufmannJSJ Strother MoorePMPanagiotis Manolios

Abstract

No abstract available for this paper.

Citation impact

622
total citations
FWCI
17.40
Percentile
100%
References
0
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Computer science
  • Mathematical proof
  • Automated reasoning
  • Programming language
  • Axiom
  • Lisp
  • Automated theorem proving
  • Logic programming
UN Sustainable Development Goals
  • Industry, innovation and infrastructure
No related works found for this paper.