The 3rd IJCAR Automated Theorem Proving Competition

Geoff Sutcliffe. The 3rd IJCAR Automated Theorem Proving Competition. AI Commun., 20(2):117-126, 2007. [doi]

Abstract

Abstract is missing.