Blanchette, Jasmin Christian; Böhme, Sascha; Fleury, Mathias; Smolka, Steffen Juilf; Steckermeier, Albert Semi-intelligible Isar proofs from machine-generated proofs. (English) Zbl 1356.68178 J. Autom. Reasoning 56, No. 2, 155-200 (2016). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Todd, John G. H. Hardy as an editor. (English) Zbl 0821.01045 Math. Intell. 16, No. 2, 32-37 (1994). Reviewer: K.-H.Schlote (Leipzig) MSC: 01A99 × Cite Format Result Cite Review PDF Full Text: DOI