EasyChair Publications
Search
CASC-J6 Volume Information
Volume:Geoff Sutcliffe (editor)
CASC-J6. The 6th IJCAR ATP System Competition

CASC-J6 Volume Information

Title:CASC-J6. The 6th IJCAR ATP System Competition
Editors:Geoff Sutcliffe
Series:EPiC Series in Computing
Volume:11
Publication date:July 2, 2012

Papers

AuthorsTitlePagesPDF
Geoff SutcliffeProceedings of the 6th IJCAR ATP System Competition (CASC-J6)1-50

Keyphrases

CountKeyphrase