many-sorted logic

İngilizce - İngilizce

many-sorted logic teriminin İngilizce İngilizce sözlükte anlamı

İlgili Terimler

many-sorted logic

A logic that directly supports classification of entities into disjunct sorts

Heceleme

many-sorted log-ic