BÖLÜM
BÖLÜM
BÖLÜM
LİSANS PROGRAMI
LİSANS PROGRAMI
LİSANS PROGRAMI
LİSANSÜSTÜ PROGRAMI
LİSANSÜSTÜ PROGRAMI
LİSANSÜSTÜ PROGRAMI
ARAŞTIRMA
ARAŞTIRMA
ARAŞTIRMA
-A
+A
Geri
Matematik Bölümü

Metin Ersin Arıcan - Introduction to Formal Mathematics with Lean

ETKİNLİK BAŞLANGIÇ TARİHİ
7 Aralık 2024 20:45
ETKİNLİK BİTİŞ TARİHİ
7 Aralık 2024 21:45
ETKİNLİK TÜRÜ
Diğer
Metin Ersin Arıcan - Introduction to Formal Mathematics with Lean
Metin Ersin Arıcan - Introduction to Formal Mathematics with Lean

Poster

Date: Monday, December 9, 2024

Time: 13:30

Place: TB 130

MOBİL MENÜ
+90 212 359 66 02
Bu web sitesi deneyiminizi geliştirmek için çerezleri kullanır. Devam ederek çerez kullanımımızı kabul etmiş olursunuz. Çerez Politikamızı İncelemek İçin Tıklayınız.
Kabul Et Reddet