ACM transactions on computational logic
دورية من تأليف: Apt, Krzysztof R. (1949-....) ; Association for Computing Machinery (États-Unis) ; نشر في: 2000
طبعة:
New York, NY:
Association for Computing Machinery
لغة:
إنجليزية
الوصف المادي:
;26 cm
ISSN: 15293785
التواتر
فصلية
الموضوع
الإعلام الآلي
الكلمات الدالة:
Logique informatique
:Périodiques
Logique mathématique
:Périodiques
ملاحظة: ACM transactions on computational logic (Online), ISSN 1557-945X
ACM transactions on computational logic