Jukka Häkkinen
- Abonează-te: RSS
- Platforme: Windows Aplicații (3)
- Clasificări: 0
- Total: 3
- Liste: 0 + 0
- Recenzii: 0
- Gratuite: 3
- Punctele: ¡ 1 + 9
- Videoclipuri: 0
- Cu plată: 0
- Reduceri: 0
- Website:
Deschide
-
- Natural Deduction using Strict Implication
- Windows Aplicații: Educație De: Jukka Häkkinen
- Gratuit
- Liste: 0 + 0 Clasificări: 0 Recenzii: 0
- Punctele: 0 + 3 (3.0) Versiune: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Aplicații: Educație De: Jukka Häkkinen
- Gratuit
- Liste: 0 + 0 Clasificări: 0 Recenzii: 0
- Punctele: 0 + 4 (4.0) Versiune: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Aplicații: Educație De: Jukka Häkkinen
- Gratuit
- Liste: 0 + 0 Clasificări: 0 Recenzii: 0
- Punctele: 1 + 2 (2.5) Versiune: PC Truth table generator. ⥯
Trimite
Jukka Häkkinen | Dezvoltator
Adresă URL scurtă: Copiate!
- 🌟 Trimite