many-sorted logic

listen to the pronunciation of many-sorted logic
الإنجليزية - الإنجليزية

تعريف many-sorted logic في الإنجليزية الإنجليزية القاموس.

many-sorted logic
A logic that directly supports classification of entities into disjunct sorts
many-sorted logic
المفضلات