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

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

..., Most General Unifier