Jukka Häkkinen | Windows Appar
- Prenumerera: RSS
- Plattformar: Windows Appar (3)
- Betyg: 0
- Totalt: 3
- Listor: 0 + 0
- Recensioner: 0
- Gratis: 3
- Poäng: ¡ 1 + 9
- Videor: 0
- Betald: 0
- Rabatter: 0
- Webbplats:
Öppna
-
- Natural Deduction using Strict Implication
- Windows Appar: Utbildning Av: Jukka Häkkinen
- Gratis
- Listor: 0 + 0 Betyg: 0 Recensioner: 0
- Poäng: 0 + 3 (3.0) Version: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Appar: Utbildning Av: Jukka Häkkinen
- Gratis
- Listor: 0 + 0 Betyg: 0 Recensioner: 0
- Poäng: 0 + 4 (4.0) Version: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Appar: Utbildning Av: Jukka Häkkinen
- Gratis
- Listor: 0 + 0 Betyg: 0 Recensioner: 0
- Poäng: 1 + 2 (2.5) Version: PC Truth table generator. ⥯
Dela
Jukka Häkkinen | Utvecklare
Kort webbadress: Kopierad!
- Dela