The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning

From MaRDI portal
Revision as of 00:08, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1182164

DOI10.1016/0004-3702(91)90009-9zbMath0736.68071OpenAlexW1970861542MaRDI QIDQ1182164

Alan M. Frisch

Publication date: 28 June 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(91)90009-9




Related Items (17)




Cites Work




This page was built for publication: The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning