|
|
CASC-J6:BibTeX EntriesVolume@proceedings{CASC-J6,
title = {CASC-J6. The 6th IJCAR ATP System Competition},
editor = {Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {11},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}} Papers@inproceedings{CASC-J6:Proceedings_of_6th_IJCAR,
author = {Geoff Sutcliffe},
title = {Proceedings of the 6th IJCAR ATP System Competition (CASC-J6)},
booktitle = {CASC-J6. The 6th IJCAR ATP System Competition},
editor = {Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {11},
pages = {1--50},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Cb9l},
doi = {10.29007/lvcc}} |
|
|