المنطق الآلي (Q2012058)
subfield of computer science and logic الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | المنطق الآلي |
لا يوجد وصف |
|
| الإنجليزية | automated reasoning |
subfield of computer science and logic |
|
بيانات
Wikidata item الإنجليزية
Freebase ID الإنجليزية
topic's main category الإنجليزية
Microsoft Academic ID الإنجليزية
instance of الإنجليزية
part of الإنجليزية
وصلات الموقع
Marefa(١ وصلة واحدة)
- marefa Automated reasoning
ويكيبيديا(٥ وصلات)
- enwiki Automated reasoning
- eswiki Razonamiento automático
- fawiki استدلال خودکار
- frwiki Raisonnement automatisé
- trwiki Otomatikleştirilmiş muhakeme