Using rewriting rules for connection graphs to prove theorems
From MaRDI portal
Publication:1137877
DOI10.1016/0004-3702(79)90015-8zbMath0429.68078MaRDI QIDQ1137877
Publication date: 1979
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(79)90015-8
DB lookup for MSC labels failed
Related Items