answersLogoWhite

0

Manfred Schmidt-Schauss has written:

'Computational aspects of an order-sorted logic with term declarations' -- subject(s): Sorting (Electronic computers), Symbolic and mathematical Logic

User Avatar

Wiki User

11y ago

What else can I help you with?