🏷️ #Proof Assistants
1 مقال
أبحاث
تعلم المنطق بفعالية: منهجية LogiKEy ووسائل مساعدات الإثبات
أركايف للذكاء
منذ 1 يوم
