BibTeX record journals/corr/KaliszykUV16

download as .bib file

@article{DBLP:journals/corr/KaliszykUV16,
  author    = {Cezary Kaliszyk and
               Josef Urban and
               Jir{\'{\i}} Vyskocil},
  title     = {Semantic Parsing of Mathematics by Context-based Learning from Aligned
               Corpora and Theorem Proving},
  journal   = {CoRR},
  volume    = {abs/1611.09703},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier