answersLogoWhite

0

Wayne Snyder has written:

'A proof theory for general unification' -- subject(s): Automatic theorem proving

User Avatar

Wiki User

11y ago

What else can I help you with?