Preverjanje tautologije z binarnimi odločitvenimi diagramiNaumoski, Goce (Drugo) Horvat, Bogomir (Mentor) Lešnjak, Gorazd (Komentor) Brezočnik, Zmago (Komentor) [s.n.]19902007-07-26 11:38:35Diplomsko delo5744UDK: 681.3.01+591.72+510.5|.6COBISS_ID: 742934NUK URN: URN:SI:UM:DK:YBVIO8HOsl