Jukka Häkkinen | Windows Aplicaciones
- Suscribirse: RSS
- Plataformas: Windows Aplicaciones (3)
- Clasificaciones: 0
- Total: 3
- Listas: 0 + 0
- Opiniones: 0
- Gratis: 3
- Puntos: ¡ 1 + 9
- Vídeos: 0
- De pago: 0
- Descuentos: 0
- Sitio:
Abrir
-
- Natural Deduction using Strict Implication
- Windows Aplicaciones: Educación De: Jukka Häkkinen
- Gratis
- Listas: 0 + 0 Clasificaciones: 0 Opiniones: 0
- Puntos: 0 + 3 (3.0) Versión: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Aplicaciones: Educación De: Jukka Häkkinen
- Gratis
- Listas: 0 + 0 Clasificaciones: 0 Opiniones: 0
- Puntos: 0 + 4 (4.0) Versión: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Aplicaciones: Educación De: Jukka Häkkinen
- Gratis
- Listas: 0 + 0 Clasificaciones: 0 Opiniones: 0
- Puntos: 1 + 2 (2.5) Versión: PC Truth table generator. ⥯
Compartir
Jukka Häkkinen | Desarrollador
URL corta: Copiado!
- Compartir