izvor podataka: crosbi
!
Istinitosno stablo: podrijetlo i primjena (CROSBI ID 350693)
Ocjenski rad | diplomski rad
Grisogono, Lovre
Istinitosno stablo: podrijetlo i primjena / Kovač, Srećko (mentor);
Zagreb, Hrvatski studiji, . 2008
Podaci o odgovornosti
Grisogono, Lovre
Kovač, Srećko
hrvatski
Istinitosno stablo: podrijetlo i primjena
Uspoređuje se Bethov tableau i istinitosno stablo prema obziru na složenost postupka. Analiziraju se promjene u stablu potrebne pri primjeni na neke viševrijednosne logike.
Bethov tableau; istinitosno stablo; neklasične logike; tableau; viševrijednosne logike
nije evidentirano
engleski
Truth tree: the origin and application
nije evidentirano
Beth tableau; many-valued logics; non-classical logics; tableau; truth tree
nije evidentirano
Podaci o izdanju
32
24.06.2008.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Hrvatski studiji
Zagreb
Povezanost rada
Povezane osobe
Povezane ustanove
Povezani projekti