The logic theorist in LISP†

DOI10.1080/00207166808803027MaRDI QIDQ5555705zbMATH OpenOpenAlexFDO

Authors R. Millstein

Publication date 1968

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207166808803027

zbMATH Keywords

languages, automata, networks

Cited in

(1)

• Condensed detachment as a rule of inference

This page was built for publication: The logic theorist in LISP†

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