Logikprogrammierung: 3 Resolution, 3.1 Skolem NF (Mo, 22.04.2013)
  • Einbetten