Proving without teaching/ teaching without proving

Research output: Contribution to journal › Comment/debate › peer-review

ASJC Scopus subject areas

@article{8c6d5fa849e24b8990c62d32189d2e3c,

title = "Proving without teaching/ teaching without proving",

author = "Dennis Shasha",

year = "2014",

month = nov,

day = "1",

doi = "10.1145/2670917",

language = "English (US)",

volume = "57",

pages = "120",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery (ACM)",

number = "11",

}

TY - JOUR

T1 - Proving without teaching/ teaching without proving

AU - Shasha, Dennis

PY - 2014/11/1

Y1 - 2014/11/1

UR - http://www.scopus.com/inward/record.url?scp=84908447118&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84908447118&partnerID=8YFLogxK

U2 - 10.1145/2670917

DO - 10.1145/2670917

M3 - Comment/debate

AN - SCOPUS:84908447118

SN - 0001-0782

VL - 57

SP - 120

JO - Communications of the ACM

JF - Communications of the ACM

IS - 11

ER -