Logic and Computation in MATHPERT: An Expert System for Learning Mathematics

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 202-214
https://doi.org/10.1007/978-1-4613-9647-5_25

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Proving Programs and Programming Proofs
Published by Elsevier ,1986
Foundations of Constructive Mathematics
Published by Springer Nature ,1985