Typed meta-interpretive learning for proof strategies

First Author: C. Farquhar
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://sites.google.com/site/cifarquhar/mil-for-psgraph

Type: Conference/Paper/Proceeding/Abstract

ISSN: 16130073