Uporaba predikatnega računa za izgradnjo dokazovalnika izrekov : diplomsko delo visokošolskega študijaŠajtegel, Valerija (Avtor) Stiglic, Bruno (Mentor) Welzer-Družovec, Tatjana (Komentor) predikatni račundokazovanje teoremovresolucijaumetna inteligenca[V. Šajtegel]19972007-07-26 11:00:14Diplomsko delo4493UDK: 007.52:510.63COBISS_ID: 3343894NUK URN: URN:SI:UM:DK:XSFWLH9Ysl