answersLogoWhite

0

Zbigniew Stachniak has written:

'Resolution proof systems' -- subject(s): Artificial intelligence, Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic

User Avatar

Wiki User

10y ago

What else can I help you with?