mojarse

para construir pruebas de deducción natural
Descargar ahora

mojarse Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • Niklas Udd
  • Sitio web del editor:
  • http://uprove.udd.be
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 53 KB

mojarse Etiquetas


mojarse Descripción

Uprove es una herramienta fácil de usar que le permite crear pruebas de deducción naturales en la lógica proposicional. Necesitas hacer clic en las líneas que desea aplicar como regla general, y luego elegir la regla deseada. En el lenguaje de programación Java y Se puede ejecutar en Mac OS X, Windows y Linux.


mojarse Software relacionado

Sobre nosotros