a logic that directly supports classification of entities into disjunct sorts

İngilizce - İngilizce

a logic that directly supports classification of entities into disjunct sorts teriminin İngilizce İngilizce sözlükte anlamı

many-sorted logic

Heceleme

a log·ic that di·rect·ly supports clas·si·fi·ca·tion of entities in·to dis·junct sorts