answersLogoWhite

0

D. A. Wolfram has written:

'The clausal theory of types' -- subject(s): Logic programming

User Avatar

Wiki User

10y ago

What else can I help you with?