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