A note on syntactic symmetry and the manipulation of formal systems by machine
From MaRDI portal
Publication:3267774
DOI10.1016/S0019-9958(59)90090-7zbMath0092.13402MaRDI QIDQ3267774
Publication date: 1959
Published in: Information and Control (Search for Journal in Brave)
Related Items
Automated theorem proving in GeoGebra: current achievements, Automated reasoning in geometry theorem proving with Prolog, Using geometric rewrite rules for solving geometric problems symbolically, An examination of the geometry theorem machine
