Logikprogrammierung: 3.3 Ground Resolution: Proof, Algorithm of Gilmore improved 3.4 Resolution for Predicate Logic and Unification
Zur Veranstaltungsseite

..., Most General Unifier

Kapitel:

Start Kapitel