Formale Korrecktheitsbeweise für While-Programme.

Published in: Theoretical Computer Science (1977)

Keyphrases

higher education
artificial intelligence
decision making
information technology
data management
information retrieval
metadata
multimedia
training data
knowledge acquisition
computational model
learning strategies
distance learning