Atlantis Institut des Sciences Fictives

@article{PaesaLía:134459,
      author        = "Paesa Lía, Carlos and Marco Buzunámiz, Miguel Ángel",
      title         = "{Lógica formal, verificación automática de teoremas y
                       asistentes de demostración}",
      year          = "2023",
}