Computational aspects of an order-sorted logic with term declarations

From MaRDI portal
(Redirected from Publication:1801289)

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Computational_aspects_of_an_order-sorted_logic_with_term_declarations&oldid=69168654"
Powered by MediaWiki