BOOK
Computer-Aided Reasoning: An Approach
Keywords:
Computer science Mathematical proof Automated reasoning Programming language Axiom Lisp Automated theorem proving Logic programming Proof assistant Automated proof checking Software Theoretical computer science Software engineering Mathematics
Metrics
617
Cited By
16.90
FWCI (Field Weighted Citation Impact)
0
Refs
1.00
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Embedded Systems Design Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Distributed and Parallel Computing Systems
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
BOOK
Computer-Aided Reasoning
Matt KaufmannPanagiotis ManoliosJ Strother Moore
Advances in formal methods Year: 2000
BOOK-CHAPTER
Computer aided reasoning
Andrzej TrybulecHoward A. Blair
Lecture notes in computer science Year: 1985 Pages: 406-412
JOURNAL ARTICLE
On computer aided mathematical reasoning
Journal: Medical Entomology and Zoology Year: 1990