BibTeX record conf/cade/Urban17

download as .bib file

@inproceedings{DBLP:conf/cade/Urban17,
  author    = {Josef Urban},
  title     = {{AI} at {CADE/IJCAR}},
  booktitle = {ARCADE@CADE},
  series    = {EPiC Series in Computing},
  volume    = {51},
  pages     = {33--36},
  publisher = {EasyChair},
  year      = {2017}
}
maintained by Schloss Dagstuhl LZI at University of Trier