New Results and Techniques in Resolution Theory

DOI10.1109/TC.1976.1674676MaRDI QIDQ4096458zbMATHFDO

Authors Lawrence Yelowitz, A. Kandel

Publication date 1976

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

This page was built for publication: New Results and Techniques in Resolution Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4096458)