Using weighted constraints to build a tutoring system for logic programming

Link:
Autor/in:
Erscheinungsjahr:
2011
Medientyp:
Text
Schlagworte:
  • Programmiermethodik
  • Logikprogrammierung
  • Künstliche Intelligenz
Lizenz:
  • info:eu-repo/semantics/openAccess
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/e57b18d7-b67a-4f52-9102-df59b4e8c97d