Download.com
  • Navegación
  • búsqueda abierta
Cerrar

PLATAFORMAS

ENLACES POPULARES

CATEGORÍAS

AYUDA Y CONFIGURACIONES

 
lea más +

¿Qué usted necesita saber sobre software libre?

capturas de pantalla

Todas las especificaciones

Nuevas funciones de la versión 1.3

  • Añadido soporte para el libro Lógica de sistema PD + regla
  • Añadido soporte para ND introducción accesible sistema + regla
  • capacidad adicional de exportar una deducción en un archivo de texto
  • capacidad adicional de exportar una deducción a un fragmento LaTeX

General

Editor Mango que vaga
Sitio web del editor http://www.wanderingmango.com
Fecha de lanzamiento 13 de septiembre de 2010
Fecha en que se agregó 13 de septiembre de 2010
Versión 1,3

Categoría

Categoría Software educativo
Subcategoría Herramientas para estudiantes

Sistemas operativos

Sistemas operativos Mac OS X 10,5/10,6
Requisitos adicionales Ninguna

Información de la descarga

Tamaño del archivo 5,95 MB
Nombre del archivo Deductions13.dmg

Popularidad

Descargas totales 571
Descargas la semana pasada 2

Precio

Modelo de licencia Prueba gratuita
Limitaciones Solamente las reglas siguientes de la deducción están disponibles en la versión de ensayo: Premisa, asunción, reiteración, introducción de la conjunción, eliminación de la conjunción, introducción condicional, eliminación condicional, introducción de Tilde, eliminación de Tilde
Precio USD 24,99