Work

Why Proof Planning for Maths Education and How?

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

DOI: 10.1007/978-3-540-32254-2_21

Author: Erica Melis

Institution: German Research Centre for Artificial Intelligence

Language: English

Topic: Intelligent Tutoring Systems and Adaptive Learning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W1515357963

FWCI: 0.75

Cites: 37

Cited by: 5

Related to: 10