Cristiá, Maximiliano

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-1 de 1

Artículo Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra

Cristiá, Maximiliano; Katz, Ricardo David ; Rossi, Gianfranco (Oxford University Press, 2021-05)

Mostrando ítems 1-1 de 1