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
{"_id":"myebeseg8n4AwDQhs","bibbaseid":"croy-amidon-agraphicmousedriveninterfaceforintegratingteachingandresearchindeductiveproofconstruction-1992","author_short":["Croy, M. J.","Amidon, J."],"bibdata":{"bibtype":"incollection","type":"incollection","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":[{"propositions":[],"lastnames":["Croy"],"firstnames":["Marvin","J."],"suffixes":[]},{"propositions":[],"lastnames":["Amidon"],"firstnames":["John"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Burkholder"],"firstnames":["Leslie"],"suffixes":[]}],"year":"1992","keywords":"inflected method","bibtex":"@incollection{burkholder_graphic_1992,\n\taddress = {Boulder, CO, USA},\n\ttitle = {A {Graphic}, {Mouse}-{Driven} {Interface} for {Integrating} {Teaching} and {Research} in {Deductive} {Proof} {Construction}},\n\tisbn = {978-0-8133-7994-4},\n\turldate = {2017-01-16},\n\tbooktitle = {Philosophy and the {Computer}},\n\tpublisher = {Westview Press, Inc.},\n\tauthor = {Croy, Marvin J. and Amidon, John},\n\teditor = {Burkholder, Leslie},\n\tyear = {1992},\n\tkeywords = {inflected method},\n}\n\n","author_short":["Croy, M. J.","Amidon, J."],"editor_short":["Burkholder, L."],"key":"burkholder_graphic_1992","id":"burkholder_graphic_1992","bibbaseid":"croy-amidon-agraphicmousedriveninterfaceforintegratingteachingandresearchindeductiveproofconstruction-1992","role":"author","urls":{},"keyword":["inflected method"],"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://api.zotero.org/users/1248965/collections/8QSGBCWF/items?key=Yv69tdGEMX7aTJfLs9bqj1jJ&format=bibtex&limit=100","dataSources":["7iJQHmhrkoiRJSziT","N2KeXDyLK5jHkZZon"],"keywords":["inflected method"],"search_terms":["graphic","mouse","driven","interface","integrating","teaching","research","deductive","proof","construction","croy","amidon"],"title":"A Graphic, Mouse-Driven Interface for Integrating Teaching and Research in Deductive Proof Construction","year":1992}