Development of neural networks for accelerating automated theorem proving: Results for the group theory

zbMATH Open0902.68181MaRDI QIDQ1390660

A. Paccanaro

Publication date: 18 October 1998

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

term rewritting systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Grammars and rewriting systems (68Q42)

This page was built for publication: Development of neural networks for accelerating automated theorem proving: Results for the group theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1390660)