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, seisonut, umbrageousness, vodka tonics, zitherist, information technology
