Programas para deducción automatizada en lógica proposicional
Esta parte de readmunity es para lectores con cuenta.
Con una cuenta gratuita puedes guardarlo en tu biblioteca, valorarlo y reseñarlo.
Citas
Todavía nadie ha guardado citas de este libro. Añádelo a tu biblioteca y podrás apuntar aquí los pasajes que quieras recordar.
Reseñas
Todavía no hay reseñas de este libro.
