Buscar
Mostrando ítems 1-2 de 2
Libro
Información : tratamiento y representación
(Universidad de Sevilla, 2001)
Artículo
Programas moleculares y sistemas lógico-formales
(De Gruyter, 2012)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, ...