Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Guard, J. R.
Oglesby, F. C.
Bennett, J. H.
and
Settle, L. G.
1969.
Automation of Reasoning.
p.
203.
Guard, J. R.
Oglesby, F. C.
Bennett, J. H.
and
Settle, L. G.
1969.
Semi-Automated Mathematics.
Journal of the ACM,
Vol. 16,
Issue. 1,
p.
49.
Glukhov, M. M.
Stelletskii, I. V.
and
Fofanova, T. S.
1972.
Algebra and Geometry.
p.
111.
McCune, William
1988.
9th International Conference on Automated Deduction.
Vol. 310,
Issue. ,
p.
704.
Mackenzie, D.
1995.
The automation of proof: a historical and sociological exploration.
IEEE Annals of the History of Computing,
Vol. 17,
Issue. 3,
p.
7.
Harrison, John
2007.
Algebraic Biology.
Vol. 4545,
Issue. ,
p.
334.
Harrison, John
Urban, Josef
and
Wiedijk, Freek
2014.
Computational Logic.
Vol. 9,
Issue. ,
p.
135.