Inproceedings,
Mathematical Specification and Logic Modelling in the context of IR.
M. Martinez-Alvarez, M. Bonzanini, and T. Roelleke.ICTIR, page 30. ACM, (2013)
Meta data
- BibTeX key
- conf/ictir/Martinez-AlvarezBR13
- entry type
- inproceedings
- booktitle
- ICTIR
- year
- 2013
- pages
- 30
- publisher
- ACM
- crossref
- conf/ictir/2013
- ee
- https://doi.org/10.1145/2499178.2499197
- isbn
- 978-1-4503-2107-5
- url
- http://dblp.uni-trier.de/db/conf/ictir/ictir2013.html#Martinez-AlvarezBR13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ictir/Martinez-AlvarezBR13
%A Martinez-Alvarez, Miguel
%A Bonzanini, Marco
%A Roelleke, Thomas
%B ICTIR
%D 2013
%E Kurland, Oren
%E Metzler, Donald
%E Lioma, Christina
%E Larsen, Birger
%E Ingwersen, Peter
%I ACM
%K
%P 30
%T Mathematical Specification and Logic Modelling in the context of IR.
%U http://dblp.uni-trier.de/db/conf/ictir/ictir2013.html#Martinez-AlvarezBR13
%@ 978-1-4503-2107-5
@inproceedings{conf/ictir/Martinez-AlvarezBR13,
added-at = {2023-12-13T02:51:48.000+0100},
author = {Martinez-Alvarez, Miguel and Bonzanini, Marco and Roelleke, Thomas},
biburl = {https://www.bibsonomy.org/bibtex/2e57e1296ae84b7ac627c5322b908abbd/admin},
booktitle = {ICTIR},
crossref = {conf/ictir/2013},
editor = {Kurland, Oren and Metzler, Donald and Lioma, Christina and Larsen, Birger and Ingwersen, Peter},
ee = {https://doi.org/10.1145/2499178.2499197},
interhash = {8491587bf20870a931cd72967e7e3abf},
intrahash = {e57e1296ae84b7ac627c5322b908abbd},
isbn = {978-1-4503-2107-5},
keywords = {},
pages = 30,
publisher = {ACM},
timestamp = {2023-12-13T02:51:48.000+0100},
title = {Mathematical Specification and Logic Modelling in the context of IR.},
url = {http://dblp.uni-trier.de/db/conf/ictir/ictir2013.html#Martinez-AlvarezBR13},
year = 2013
}