Sembolik Lambda Calculus, lambda kalkülüs ve kombinatok mantığa dayanan mantıksal bir biçimciliktir ve içinde terimleri ya da eşitlikleri temsil eden tek bir nesne türü vardır. Bu de Bruijn ve lambda kalkülüs gösterimleri kullanır.
sürüm geçmişi
- Sürüm files tarihinde gönderildi 2010-05-13
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2010-05-13
Program Detayları
- Kategori: Eğitim > Diğer
- Yayımcı: slc.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: linux