BibTeX record conf/comma/BoudjaniGK18

• > Home > conf/comma/BoudjaniGK18

@inproceedings{DBLP:conf/comma/BoudjaniGK18,
  author       = {Nadira Boudjani and
                  Abdelkader Goua{\"{\i}}ch and
                  Souhila Kaci},
  editor       = {Sanjay Modgil and
                  Katarzyna Budzynska and
                  John Lawrence},
  title        = {{CLEAR:} Argumentation Frameworks for Constructing and Evaluating
                  Deductive Mathematical Proofs},
  booktitle    = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
                  Poland, 12-14 September 2018},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {305},
  pages        = {281--288},
  publisher    = {{IOS} Press},
  year         = {2018},
  url          = {https://doi.org/10.3233/978-1-61499-906-5-281},
  doi          = {10.3233/978-1-61499-906-5-281},
  timestamp    = {Fri, 29 Jan 2021 21:15:48 +0100},
  biburl       = {https://dblp.org/rec/conf/comma/BoudjaniGK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}