حل مسئله
problem solving
proving, theorem
اثبات قضیه
theorem proving
سامانه بازنویسی
rewriting system
دستکاری نمادها
symbol manipulation
هوش مصنوعی
artificial intelligence
منطق صوری
formal logic