Browsing Computer Based Learning in Science (CBLIS) by Subject "Entailment"
Now showing items 1-1 of 1
-
Hilbert: an autonomous evolutionary information system for teaching and learning logic
(Department of Educational Sciences, University of Cyprus, 2003)In order to establish a widely useful computer-based environment for teaching and learning logic, we are developing an autonomous evolutionary information system, named “HILBERT,” for teaching and learning various logic ...