Jukka Häkkinen | Windows App
- Sottoscrivi: RSS
- Piattaforme: Windows App (3)
- Classificazioni: 0
- Totale: 3
- Listes: 0 + 0
- Recensioni: 0
- Gratis: 3
- Punti: ¡ 1 + 9
- Video: 0
- A pagamento: 0
- Sconti: 0
- Sito web:
Aprire
-
- Natural Deduction using Strict Implication
- Windows App: Formazione di: Jukka Häkkinen
- Gratis
- Listes: 0 + 0 Classificazioni: 0 Recensioni: 0
- Punti: 0 + 3 (3.0) Versione: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows App: Formazione di: Jukka Häkkinen
- Gratis
- Listes: 0 + 0 Classificazioni: 0 Recensioni: 0
- Punti: 0 + 4 (4.0) Versione: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows App: Formazione di: Jukka Häkkinen
- Gratis
- Listes: 0 + 0 Classificazioni: 0 Recensioni: 0
- Punti: 1 + 2 (2.5) Versione: PC Truth table generator. ⥯
Condividi
Jukka Häkkinen | Sviluppatore
URL breve: Copiato!
- Condividi