SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

Volumn , Issue , 2002, Pages 381-385

A tutorial program for propositional logic with human/computer interactive learning

(3) Lukins, Stacy a Levicki, Alan a Burg, Jennifer a

a WAKE FOREST UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; LEARNING SYSTEMS; THEOREM PROVING; WEB BROWSERS; WORLD WIDE WEB;

INTERACTIVE LEARNING;

HUMAN COMPUTER INTERACTION;

EID: 0036040993 PISSN: 00978418 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/563517.563490 Document Type: Conference Paper

Times cited : (28)

References (20)

1
- 0003368985
- The logic tutor: A multimedia presentation
- Oct.
- (2001) The IMEJ of Computer Enhanced Learning , vol.3 , Issue.2
- Abraham, D.¹ Crawford, L.² Lesta, L.³ Merceron, A.⁴ Yacef, K.⁵

2
- 0005285512
- Sept. 2
- (2001)
- Barwise, J.¹ Etchemendy, J.²

3
- 0004154856
- Stanford, CA: CSLI Publications
- (1994) Hyperproof
- Barwise, J.¹ Etchemendy, J.²

4
- 0005237651
- Sept. 2
- (2001) Jape - A Framework for Building Interactive Proof Editors
- Bornat, R.¹ Sufrin, B.²

5
- 84886968403
- Sept. 2
- (2001) Nqthm, the Boyer-Moore Prover
- Boyer, R.S.¹

6
- 0005341908
- Sept. 2
- (2001) The Carnegie Mellow Proof Tutor Project

7
- 38149012481
- Sept. 2
- (2001) The Coq Proof Assistant

8
- 0005357796
- Sept. 2
- (2001) The Proof Editor Alfa
- Hallgren, T.¹

9
- 0005282793
- Sept. 2, Laboratory for Applied Logic, Brigham Young University
- (2001) The HOL Theorem Proving System

10
- 0005348577
- Version 4.0., Sept. 2
- (2001) The Inductive Theorem Prover

11
- 0141809764
- Sept. 2
- (2001) ACL2 Version 2.5.
- Kaufmann, M.¹ Moore, J.S.²

12
- 84957062703
- PLAGIATOR - A learning prover
- Proceedings CADE-14, Springer
- (1997) LNAI , vol.1249
- Kolbe, T.¹ Brauburger, J.²

13
- 0005318971
- Sept. 2
- (2001) Kumo: A Web Based Proof Assistant

14
- 0005234839
- Sept. 2
- (2001)

15
- 0005345954
- Sept. 2
- (2001) The Boyer-Moore Theorem Prover (NQTHM)
- Moore, J.S.¹

16
- 0005348578
- Sept. 2
- (2001) PcNqthm: An Interactive "Proof-checker" Enhancement of the Boyer-Moore Theorem Prover

17
- 0005355878
- Sept. 2
- (2001) Pcoq: A Graphical User Interface for Coq.

18
- 0005363461
- Sept. 2
- (2001) TPS: Theorem Proving System

19
- 33744523099
- Sept. 7
- (2001) Intelligent Tutoring Systems: An Historic Review in the Context of the Development of Artificial Intelligence and Educational Psychology
- Urban-Lurain, M.¹

20
- 0005282145
- Sept. 2
- (2001) WinKe: A Proof Assistant for Teaching Logic

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