|
Volumn , Issue , 2004, Pages 106-110
|
A web-based education system for predicate logic
|
Author keywords
[No Author keywords available]
|
Indexed keywords
HYPERMEDIA APPLICATION (HA);
JAVA APPLET;
QUESTIONNAIRE;
WEB SERVER;
AUTOMATION;
COMPUTER ARCHITECTURE;
DATABASE SYSTEMS;
JAVA PROGRAMMING LANGUAGE;
KNOWLEDGE REPRESENTATION;
LEARNING SYSTEMS;
SERVERS;
STUDENTS;
THEOREM PROVING;
WEB BROWSERS;
EDUCATION;
|
EID: 13244252470
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/ICALT.2004.1357384 Document Type: Conference Paper |
Times cited : (10)
|
References (8)
|