BibTeX record conf/icaart/GhourabiT15

download as .bib file

@inproceedings{DBLP:conf/icaart/GhourabiT15,
  author       = {Fadoua Ghourabi and
                  Kazuko Takahashi},
  editor       = {St{\'{e}}phane Loiseau and
                  Joaquim Filipe and
                  B{\'{e}}atrice Duval and
                  H. Jaap van den Herik},
  title        = {Formalizing the Qualitative Superposition of Rectangles in Proof Assistant
                  Isabelle/HOL},
  booktitle    = {{ICAART} 2015 - Proceedings of the International Conference on Agents
                  and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
                  2015},
  pages        = {530--539},
  publisher    = {SciTePress},
  year         = {2015},
  timestamp    = {Tue, 15 Sep 2015 10:19:18 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/GhourabiT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics