×

Found 3 Documents (Results 1–3)

GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 123-141 (2019).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software