A Graphic, Mouse-Driven Interface for Integrating Teaching and Research in Deductive Proof Construction. Croy, M. J. & Amidon, J. In Philosophy and the Computer. Westview Press, Inc., Boulder, CO, USA, 1992.
bibtex   
@incollection{burkholder_graphic_1992,
	address = {Boulder, CO, USA},
	title = {A {Graphic}, {Mouse}-{Driven} {Interface} for {Integrating} {Teaching} and {Research} in {Deductive} {Proof} {Construction}},
	isbn = {978-0-8133-7994-4},
	urldate = {2017-01-16},
	booktitle = {Philosophy and the {Computer}},
	publisher = {Westview Press, Inc.},
	author = {Croy, Marvin J. and Amidon, John},
	editor = {Burkholder, Leslie},
	year = {1992},
	keywords = {inflected method},
}

Downloads: 0