Old Web
English
Sign In
Acemap
>
Paper
>
Signature Entrenchment and Conceptual Changes in Automated Theory Repair
Signature Entrenchment and Conceptual Changes in Automated Theory Repair
2021
Xue Li
Alan Bundy
Eugene Philalithis
Keywords:
Signature (logic)
Data mining
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]