Export 1 results:
Autor Título Tipo [ Año(Asc)]
Filtros: First Letter Of Title is E and Autor is Miquel Bofill  [Clear All Filters]
2011
Ansótegui C, Bofill M, Manyà F, Villaret M.  2011.  Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011. :230-235.