메뉴 건너뛰기




Volumn 29, Issue 2, 1998, Pages 159-177

Learners’ difficulties with induction proofs

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84988838898     PISSN: 0020739X     EISSN: 14645211     Source Type: Journal    
DOI: 10.1080/0020739980290201     Document Type: Article
Times cited : (4)

References (12)
  • 8
    • 85025345032 scopus 로고    scopus 로고
    • Grey W., Boehm-Davis D., (eds), [Norwood, NJ: Ablex Publishing Corporation]
    • Segal, J., 1996. Empirical Studies of Programmers:Sixth Workshop, Edited by:Grey, W., and Boehm-Davis, D., 195–218. [Norwood, NJ:Ablex Publishing Corporation].
    • (1996) Empirical Studies of Programmers: Sixth Workshop , pp. 195-218
    • Segal, J.1
  • 9
    • 0004006994 scopus 로고
    • Berlin: Springer-Verlag, EATCS Monographs on Theoretical Computer Science
    • Ehrig, H., and Mahr, B., 1985. Fundamentals of Algebraic Specification 1, Berlin:Springer-Verlag. EATCS Monographs on Theoretical Computer Science
    • (1985) Fundamentals of Algebraic Specification 1
    • Ehrig, H.1    Mahr, B.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.