Nepomuceno-Fernández, ÁngelPérez-Jiménez, Mário de J.2023-10-272023-10-272012-11http://hdl.handle.net/10451/60014spaLógicaComputaçãoProgramas moleculares y sistemas lógico-formalesjournal articlehttps://doi.org/10.56526/10451/60014