Jukka Häkkinen
- Abonner: RSS
- Plattformer: Windows Apper (3)
- Rangeringer: 0
- Totalt: 3
- Lister: 0 + 0
- Anmeldelser: 0
- Gratis: 3
- Poeng: ¡ 1 + 9
- Videoer: 0
- Kjøpte: 0
- Rabatter: 0
- Nettsted:
Åpne
-
- Natural Deduction using Strict Implication
- Windows Apper: Utdanning Av: Jukka Häkkinen
- Gratis
- Lister: 0 + 0 Rangeringer: 0 Anmeldelser: 0
- Poeng: 0 + 3 (3.0) Versjon: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Apper: Utdanning Av: Jukka Häkkinen
- Gratis
- Lister: 0 + 0 Rangeringer: 0 Anmeldelser: 0
- Poeng: 0 + 4 (4.0) Versjon: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Apper: Utdanning Av: Jukka Häkkinen
- Gratis
- Lister: 0 + 0 Rangeringer: 0 Anmeldelser: 0
- Poeng: 1 + 2 (2.5) Versjon: PC Truth table generator. ⥯
Dele
Jukka Häkkinen | Utvikler
Kort nettadresse: Kopiert!
- 🌟 Dele