Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

CASC-J6: Volume Information

CASC-J6. The 6th IJCAR ATP System Competition

Editors: Geoff Sutcliffe

EPiC Series in Computing•Volume 11

1 articles•50 pages•Published: July 2, 2012

Papers

Proceedings of the 6th IJCAR ATP System Competition (CASC-J6)

Geoff Sutcliffe

1-50

Keyphrases

.