Mathematical Specification and Logic Modelling in the context of IR

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]

Authors

Miguel Martinez-Alvarez

This author has not been identified. Look up 'Miguel Martinez-Alvarez' in Google

Marco Bonzanini

This author has not been identified. Look up 'Marco Bonzanini' in Google

Thomas Roelleke

This author has not been identified. Look up 'Thomas Roelleke' in Google