Logikprogrammierung: 3.3 Ground Resolution: Proof, Algorithm of Gilmore improved 3.4 Resolution for Predicate Logic and Unification (Fr, 03.05.2013)
  • Einbetten

Beschreibung:

..., Most General Unifier