Hakuluettelo:
Käännös:
many-sorted logic (suomeksi)
- Määritelmät:
- (lb, en, logic) A logic that directly supports classification of entities into disjunct sorts.
Viimeisimmät haut: many-sorted logic, adventitiously, spoon sweets, directory service, vuohetta, jitteriness