GRUNGE: A Grand Unified ATP Challenge.

Chad E. Brown Thibault Gauthier Cezary Kaliszyk Geoff Sutcliffe Josef Urban

Published in: CADE (2019)

Keyphrases

databases
real world
data mining
knowledge base
multimedia
data structure
video sequences
computer science
viewpoint