izvor podataka: crosbi
!
Empiričko određivanje djelotvornosti sustava za dokazivanje teorema (CROSBI ID 330761)
Ocjenski rad | diplomski rad
Trokić, Kenan
Empiričko određivanje djelotvornosti sustava za dokazivanje teorema / Bogunović, Nikola (mentor); Bogunović, Nikola (neposredni voditelj).
Zagreb, Fakultet elektrotehnike i računarstva, . 1999
Podaci o odgovornosti
Trokić, Kenan
Bogunović, Nikola
Bogunović, Nikola
hrvatski
Empiričko određivanje djelotvornosti sustava za dokazivanje teorema
Bitna značajka svakog sustava za dokazivanje teorema (ATP) je njegova učinkovitost, iskazana kroz ukupan broj generiranih formula tijekom izvođenja dokaza. U radu je opisan izgrađen eksperimentalni sustav za provjeru djelotvornosti ATP-a na velikom broju zanimljivih i standardnih primjera iz zbirke Tisuće Problema za Dokazivanje Teorema (TPTP).
dokazivanje teorema; logika
nije evidentirano
engleski
Empirical investigation of automated theorem provers efficiency
nije evidentirano
theorem provers; logic
nije evidentirano
Podaci o izdanju
88
15.02.1999.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet elektrotehnike i računarstva
Zagreb
Povezanost rada
Povezane osobe
Povezane ustanove