English - English
Definition of many-sorted logic in English English dictionary
- many-sorted logic
- A logic that directly supports classification of entities into disjunct sorts
Related Terms
many-sorted logic
Hyphenation
many-sorted log-icPronunciation
Resimler
History
Favorites