The Logical Structure of Computer-Aided Mathematical Reasoning

JOURNAL ARTICLE

Year: 1997 Journal: American Mathematical Monthly Vol: 104 (7)Pages: 632-632 Publisher: Taylor & Francis

DOI: 10.2307/2975057

Keywords:

Computer science Computer-aided Artificial intelligence Natural language processing Theoretical computer science Programming language

Metrics

Cited By

0.60

FWCI (Field Weighted Citation Impact)

Refs

0.66

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Mathematical and Theoretical Analysis

Physical Sciences → Mathematics → Mathematical Physics

Computability, Logic, AI Algorithms

Physical Sciences → Computer Science → Computational Theory and Mathematics

Intelligent Tutoring Systems and Adaptive Learning

Physical Sciences → Computer Science → Artificial Intelligence