|
|
Volumn 2980, Issue , 2004, Pages 432-434
|
|
An experimental comparison of diagrammatic and algebraic logics
a a a a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
FORMAL LOGIC;
GEOMETRY;
MATHEMATICAL TRANSFORMATIONS;
SET THEORY;
STUDENTS;
THEOREM PROVING;
ALGEBRA;
ALGEBRAIC LOGICS;
DIAGRAM LOGICS;
DIAGRAMMATIC REASONING;
METRIC-SPACE ANALYSIS;
ALGEBRAIC FORMALISMS;
DIAGRAMMATIC LOGIC;
EXPERIMENTAL COMPARISON;
INTERACTIVE THEOREM PROVER;
PILOT EXPERIMENT;
UNDERGRADUATE STUDENTS;
ALGEBRA;
THEOREM PROVING;
|
|
EID: 9444223293
PISSN: 03029743
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1007/978-3-540-25931-2_57 Document Type: Conference Paper |
|
Times cited : (2)
|
|
References (0)
|