Miguel Martinez-Alvarez, Marco Bonzanini, Thomas Roelleke. Mathematical Specification and Logic Modelling in the context of IR. In Oren Kurland, Donald Metzler, Christina Lioma, Birger Larsen, Peter Ingwersen, editors, International Conference on the Theory of Information Retrieval, ICTIR '13, Copenhagen, Denmark, September 29 - October 02, 2013. pages 30, ACM, 2013. [doi]
@inproceedings{Martinez-AlvarezBR13-0,
title = {Mathematical Specification and Logic Modelling in the context of IR},
author = {Miguel Martinez-Alvarez and Marco Bonzanini and Thomas Roelleke},
year = {2013},
doi = {10.1145/2499178.2499197},
url = {http://doi.acm.org/10.1145/2499178.2499197},
researchr = {https://researchr.org/publication/Martinez-AlvarezBR13-0},
cites = {0},
citedby = {0},
pages = {30},
booktitle = {International Conference on the Theory of Information Retrieval, ICTIR '13, Copenhagen, Denmark, September 29 - October 02, 2013},
editor = {Oren Kurland and Donald Metzler and Christina Lioma and Birger Larsen and Peter Ingwersen},
publisher = {ACM},
isbn = {978-1-4503-2107-5},
}