Concept Formation via Proof Planning Failure

From MaRDI portal
Revision as of 21:08, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2996204

DOI10.1007/3-540-45653-8_50zbMath1275.68140OpenAlexW1488712341MaRDI QIDQ2996204

Raúl Monroy

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_50



Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).



Uses Software



This page was built for publication: Concept Formation via Proof Planning Failure

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