Widok standardowy Widok MARC

Unifikacja (logika). (Hasło przedmiotowe)

Liczba rekordów, w których użyto hasła: 1
Forma preferowana: Unifikacja (logika).
Zobacz też:

KABA

Unification types in logic / Wojciech Dzik. - Katowice, 2007. (Unifikacja dwóch wyrażeń polega na podstawieniu w tych wyrażeniach w miejsce występujących w nich zmiennych pewnych wyrażeń, tak by po podstawieniu dwa wyrażenia były identyczne).