Logikprogrammierung: 4.1.1 Declarative Semantics 4.1.2 Procedural Semantics 4.1.3 Fixpoint Semantics of LP (Fr, 17.05.2013)
  • Einbetten