Edinburgh Research Explorer

Tinker: A Graph Based Proof Strategy System

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication In AI4FM 2015 (extended abstract)
Number of pages3
Publication statusPublished - 2015

ID: 41181871