izvor podataka: crosbi
!
SATP: A simple automated theorem prover (CROSBI ID 749488)
Druge vrste radova | računalni programski paket
Bogunović, Nikola ; Jurinac, Robert
SATP: A simple automated theorem prover. 1998.
Podaci o odgovornosti
Bogunović, Nikola ; Jurinac, Robert
engleski
SATP: A simple automated theorem prover
nije evidentirano
artificial intelligence; automated reasoning; theorem proving
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
1998.
nije evidentirano
objavljeno
Povezanost rada
Povezane osobe
Povezane ustanove