نظریه محاسبه
preferred label: computation theory @en
type: Concept
narrower: اثبات قضیه

هوش مصنوعی
preferred label: artificial intelligence @en
type: Concept
related: اثبات قضیه

منطق صوری
preferred label: formal logic @en
type: Concept
related: اثبات قضیه

اثبات قضیه
related: حل مسئله
related: هوش مصنوعی
related: منطق صوری
broader: نظریه محاسبه
preferred label: theorem proving @en
type: Concept

حل مسئله
preferred label: problem solving @en
type: Concept
related: اثبات قضیه