Mathematical Specification and Logic Modelling in the context of IR
Miguel Martinez-Alvarez, Marco Bonzanini, Thomas Roelleke
- Anthology ID:
- DBLP:conf/ictir/Martinez-AlvarezBR13
- Volume:
- International Conference on the Theory of Information Retrieval, ICTIR '13, Copenhagen, Denmark, September 29 - October 02, 2013
- Year:
- 2013
- Venue:
- ictir_conference
- Publisher:
- ACM
- Pages:
- 30
- URL:
- https://doi.org/10.1145/2499178.2499197
- DOI:
- 10.1145/2499178.2499197
- DBLP:
- conf/ictir/Martinez-AlvarezBR13