University of Bologna-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2017

  1. Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics

    Journal of Multiple-Valued Logic and Soft Computing, Vol. 28, Núm. 2-3, pp. 217-249