Unifikation

Hi!

kann mir jemand in einfachen Worten (also nicht hinter kryptischen Zeichenanreihungen a la Prof. Broy und Goos) das Prinzip der Unifikation erklären???

tnx.

c ya,
kNUt

Hallo,

die Darstellung in

U.Schoening: Logik fuer Informatiker
3. Auflage, BI, Ulm 1991
ISBN: 3-411-14013-5 Buch anschauen

ist in meinen Augen gut nachvollziehbar.

A+
Hartmut

Danke für den Tipp- hab das Buch besorgt(o.T.)