Author:
Bundy Alan,Basin David,Hutter Dieter,Ireland Andrew
Publisher
Cambridge University Press
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pursuing the traces of mathematical reasoning;Asia Pacific Education Review;2023-09-21
2. Template-Based Conjecturing for Automated Induction in Isabelle/HOL;Fundamentals of Software Engineering;2023
3. A Special Case of Schematic Syntactic Unification;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12
4. AlCons : Deductive Synthesis of Sorting Algorithms in Theorema;Theoretical Aspects of Computing – ICTAC 2021;2021
5. Reasoned Modelling: Harnessing the Synergies Between Reasoning and Modelling;Mathematical Reasoning: The History and Impact of the DReaM Group;2021