GRUNGE: A Grand Unified ATP Challenge


BibTeX

@inproceedings{cbtgckgsju-cade19,
author = {Chad Brown and Thibault Gauthier and Cezary Kaliszyk and Geoff Sutcliffe and Josef Urban},
title = {{GRUNGE:} {A} Grand Unified {ATP} Challenge},
booktitle = {The 27th International Conference on Automated Deduction (CADE 2019)},
year = {2019},
series = {LNCS},
pages = {123--141},
editor = {Pascal Fontaine},
volume = {11716},
publisher = {Springer},
url = {https://doi.org/10.1007/978-3-030-29436-6_8},
doi = {10.1007/978-3-030-29436-6_8},
}


Nach oben scrollen