Conference on Automated Deduction الإنجليزية (Q1351555)
conference series on automated theorem proving الإنجليزية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
لا يوجد وصف |
|
الإنجليزية | Conference on Automated Deduction |
conference series on automated theorem proving |
|
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
URL الإنجليزية
main subject الإنجليزية
short name الإنجليزية
partially coincident with الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Freebase ID الإنجليزية
Microsoft Academic ID الإنجليزية
title الإنجليزية
VIAF ID الإنجليزية
GND ID الإنجليزية
subject named as الإنجليزية
Conference on Automated Deduction
١ مراجع
Imported from Wikidata item الإنجليزية