Jukka Häkkinen
- Abonneren: RSS
- Platforms: Windows Apps (3)
- Beoordelingen: 0
- Totaal: 3
- Lijsten: 0 + 0
- Recensies: 0
- Gratis: 3
- Punten: ¡ 1 + 9
- Videos: 0
- Betaald: 0
- Kortingen: 0
- Website:
Openen
-
- Natural Deduction using Strict Implication
- Windows Apps: Opleiding Door: Jukka Häkkinen
- Gratis
- Lijsten: 0 + 0 Beoordelingen: 0 Recensies: 0
- Punten: 0 + 3 (3.0) Versie: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Apps: Opleiding Door: Jukka Häkkinen
- Gratis
- Lijsten: 0 + 0 Beoordelingen: 0 Recensies: 0
- Punten: 0 + 4 (4.0) Versie: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Apps: Opleiding Door: Jukka Häkkinen
- Gratis
- Lijsten: 0 + 0 Beoordelingen: 0 Recensies: 0
- Punten: 1 + 2 (2.5) Versie: PC Truth table generator. ⥯
Delen
Jukka Häkkinen | Ontwikkelaar
Korte URL: Gekopieerd!
- 🌟 Delen