Artificial Intelligence and Symbolic Computation

From MaRDI portal
Revision as of 02:54, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5464721

DOI10.1007/b100361zbMath1109.68643OpenAlexW4205793925MaRDI QIDQ5464721

Jian Zhang, Han-Tao Zhang

Publication date: 19 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100361



Mathematics Subject Classification ID

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


Related Items (1)

MACE4 and SEM: A Comparison of Finite Model Generators


Uses Software



This page was built for publication: Artificial Intelligence and Symbolic Computation

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