BibTeX record journals/cys/Lavalle-Martinez18

• > Home > journals/cys/Lavalle-Martinez18

@article{DBLP:journals/cys/Lavalle-Martinez18,
  author       = {Jos{\'{e}} de Jes{\'{u}}s Lavalle{-}Mart{\'{\i}}nez and
                  Manuel Montes{-}y{-}G{\'{o}}mez and
                  H{\'{e}}ctor Jim{\'{e}}nez{-}Salazar and
                  Luis Villase{\~{n}}or Pineda and
                  Beatr{\'{\i}}z Beltr{\'{a}}n Mart{\'{\i}}nez},
  title        = {Automatic Theorem Proving for Natural Logic: a Case Study on Textual
                  Entailment},
  journal      = {Computaci{\'{o}}n y Sistemas},
  volume       = {22},
  number       = {1},
  year         = {2018},
  url          = {https://doi.org/10.13053/cys-22-1-2778},
  doi          = {10.13053/CYS-22-1-2778},
  timestamp    = {Thu, 23 Jun 2022 19:59:10 +0200},
  biburl       = {https://dblp.org/rec/journals/cys/Lavalle-Martinez18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}