جبر
preferred label: algebra @en
type: Concept
related: دستکاری نمادها

دستکاری نمادها
alternative label: محاسبات نمادین
related: اثبات قضیه
related: جبر
related: هوش مصنوعی
broader: داده‌گردانی
preferred label: symbol manipulation @en
type: Concept

اثبات قضیه
preferred label: theorem proving @en
type: Concept
related: دستکاری نمادها

هوش مصنوعی
preferred label: artificial intelligence @en
type: Concept
related: دستکاری نمادها

داده‌گردانی
preferred label: data handling @en
type: Concept
narrower: دستکاری نمادها