Acciones

Historial de revisiones de «El problema SAT en Haskell»

Selección de diferencias: marca las casillas correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

  • actant 12:23 6 feb 2020Jalonso discusión contribs. 12 372 bytes +12 372 Página creada con «<source lang="haskell"> -- SAT.hs -- El problema SAT para fóemulas en FNC. -- José A. Alonso Jiménez <jalonso@us,es> -- Sevilla, 4 de febrero de 2020 -- ----------------…»