J. R. Guard

	1969
1		J. R. Guard, F. C. Oglesby, J. H. Bennett, L. G. Settle: Semi-Automated Mathematics. J. ACM 16(1): 49-62 (1969)

Coauthor Index

1	J. H. Bennett	[1]
2	F. C. Oglesby	[1]
3	L. G. Settle	[1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page