Alert button

Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Jan 20, 2022
Xue Li, Alan Bundy, Eugene Philalithis

Figure 1 for Signature Entrenchment and Conceptual Changes in Automated Theory Repair
Figure 2 for Signature Entrenchment and Conceptual Changes in Automated Theory Repair
Figure 3 for Signature Entrenchment and Conceptual Changes in Automated Theory Repair
Figure 4 for Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: