Jukka Häkkinen | Windows Uygulamalar
- Abone ol: RSS
- Platformlar: Windows Uygulamalar (3)
- Sıralamalar: 0
- Toplam: 3
- Listeler: 0 + 0
- Yorumlar: 0
- Ücretsiz: 3
- Puanlar: ¡ 1 + 9
- Video: 0
- Ücretli: 0
- İndirimler: 0
- Web sitesi:
Açma
-
- Natural Deduction using Strict Implication
- Windows Uygulamalar: Eğitim Göre: Jukka Häkkinen
- Ücretsiz
- Listeler: 0 + 0 Sıralamalar: 0 Yorumlar: 0
- Puanlar: 0 + 3 (3.0) Sürüm: PC Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication. ⥯
-
- NaturalDeduction
- Windows Uygulamalar: Eğitim Göre: Jukka Häkkinen
- Ücretsiz
- Listeler: 0 + 0 Sıralamalar: 0 Yorumlar: 0
- Puanlar: 0 + 4 (4.0) Sürüm: PC Proof generator and proof checker for propositional logic in "natural deduction" style. ⥯
-
- Truth Table Generator
- Windows Uygulamalar: Eğitim Göre: Jukka Häkkinen
- Ücretsiz
- Listeler: 0 + 0 Sıralamalar: 0 Yorumlar: 0
- Puanlar: 1 + 2 (2.5) Sürüm: PC Truth table generator. ⥯
Paylaş
Jukka Häkkinen | Geliştirici
Kısa URL: Kopyalandı!
- 🌟 Paylaş