Software Tools in Logic Education: Some Examples.

Belén Pérez Lancho Elena Jorge Ana de la Viuda Raquel Sanchez

Published in: Log. J. IGPL (2007)

Keyphrases

software tools
web based learning
tool support
e learning
logic programming
logical framework
asynchronous circuits
data sets
knowledge base
higher education
distance learning
information and communication technologies
serious games
st century
problem based learning
classical logic