symbolic inference

simgesel çıkarım

1. • matematik
   Bir çıkarımda, çıkarımı oluşturan önermeler yerine önerme sembolleri koyarak elde edilen dizgi.
   Eşanlam:  sembolik çıkarım
   İngilizce symbolic inference

   Fransızca inférence symbolique, f

   Almanca symbolischer Schluss, m