University of Dundee-ko ikertzaileekin lankidetzan egindako argitalpenak (3)

2014

  1. A certified reduction strategy for homological image processing

    ACM Transactions on Computational Logic, Vol. 15, Núm. 3, pp. 23