Lookahead Proof-Strategy Selection: Evaluating Alternative Proof Approaches Before Committing to a Complete Derivation

Zhang, Jincheng

DOI: 10.5281/zenodo.23831999

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.