Constructing predicate mappings for goal-dependent abstraction

DOI10.1023/A:1018968308845zbMATH Open0913.68189MaRDI QIDQ1273761

Yoshiaki Okubo, Makoto Haraguchi

Publication date: 23 March 1999

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

goal-dependent abstraction

Mathematics Subject Classification ID

Related Items (1)

Extracting Higher-Order Goals from the Mizar Mathematical Library

This page was built for publication: Constructing predicate mappings for goal-dependent abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1273761)