Methods of AI III – Logical Reasoning
Deutsches Forschungszentrum für Künstliche Intelligenz
Artificial Intelligence Group / Saarland University
anytime
Record of Achievement
12 hours