Uniform proofs as a foundation for logic programming

From MaRDI portal
(Redirected from Publication:2640596)


MaRDI QID[[Item:|]]

Authors



No records found





Cited in

No records found






This page was built for publication:

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Uniform_proofs_as_a_foundation_for_logic_programming&oldid=79437164"
Powered by MediaWiki