Goal−Oriented Conjecturing for Isabelle/HOL
Yutaka Nagashima and Julian Parsert
Book Title
Intelligent Computer Mathematics − 11th International Conference‚ CICM 2018‚ Hagenberg‚ Austria‚ August 13−17‚ 2018‚ Proceedings
Editor
Florian Rabe and William M. Farmer and Grant O. Passmore and Abdou Youssef
Pages
225–231
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
11006
Year
2018