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, cold war, razorfish, gaolable, dereverberates, spironolactones