1
Autores Puerto-Cuadros, Eduard Gilberto
Publicado 2003-01-01
Descripción:
“... una contradicción si la fórmula es insatisfactible. Se plantea un algoritmo en seudocódigo para el...”Publicado 2003-01-01
2
Autores Castellón-Montenegro, Herminia Rosa, Rocha-Rodríguez, Cecilia, Montes-Rodríguez, Lina, Lastre-Amell, Gloria Elena
Publicado 2015-01-01
Publicado 2015-01-01
3