JOURNAL ARTICLE
On computer aided mathematical reasoning
Year: 1990 Journal: Medical Entomology and Zoology Publisher: Japan Society of Medical Entomology and Zoology
Keywords:
Computer science Automated reasoning Model-based reasoning Qualitative reasoning Artificial intelligence Deductive reasoning Knowledge representation and reasoning
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.24
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Intelligent Tutoring Systems and Adaptive Learning
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
The Logical Structure of Computer-Aided Mathematical Reasoning
Journal: American Mathematical Monthly Year: 1997 Vol: 104 (7)Pages: 632-632
JOURNAL ARTICLE
The Logical Structure of Computer-Aided Mathematical Reasoning
Journal: American Mathematical Monthly Year: 1997 Vol: 104 (7)Pages: 632-646
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