Jukka Häkkinen | Windows Apps
- Subscrever: RSS
- Plataformas: Windows Apps (3)
- Classificações: 0
- Total: 3
- Listas: 0 + 0
- Resenhas: 0
- Gratuitos: 3
- Pontos: ¡ 1 + 9
- Vídeos: 0
- Pagos: 0
- Descontos: 0
- Site:
Abrir
-
- Natural Deduction using Strict Implication
- Windows Apps: Educação Por: Jukka Häkkinen
- Grátis
- Listas: 0 + 0 Classificações: 0 Resenhas: 0
- Pontos: 0 + 3 (3.0) Versão: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Apps: Educação Por: Jukka Häkkinen
- Grátis
- Listas: 0 + 0 Classificações: 0 Resenhas: 0
- Pontos: 0 + 4 (4.0) Versão: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Apps: Educação Por: Jukka Häkkinen
- Grátis
- Listas: 0 + 0 Classificações: 0 Resenhas: 0
- Pontos: 1 + 2 (2.5) Versão: PC Truth table generator. ⥯
Compartilhar
Jukka Häkkinen | Desenvolvedor
URL abreviado: Copiado!
- Compartilhar