Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 1528

SATP: A simple automated theorem prover

Bogunović, Nikola; Jurinac, Robert
SATP: A simple automated theorem prover, 1998. (računalni programski paket).

CROSBI ID: 1528 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
SATP: A simple automated theorem prover

Autori
Bogunović, Nikola ; Jurinac, Robert

Vrsta, podvrsta
Ostale vrste radova, računalni programski paket

Godina
1998

Ključne riječi
artificial intelligence; automated reasoning; theorem proving

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA

Projekti:
036024
00980501

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Institut "Ruđer Bošković", Zagreb

Profili:

Avatar Url Nikola Bogunović (autor)

Citiraj ovu publikaciju:

Bogunović, Nikola; Jurinac, Robert
SATP: A simple automated theorem prover, 1998. (računalni programski paket).
Bogunović, N. & Jurinac, R. (1998) SATP: A simple automated theorem prover.. Računalni programski paket.
@unknown{unknown, author = {Bogunovi\'{c}, Nikola and Jurinac, Robert}, year = {1998}, keywords = {artificial intelligence, automated reasoning, theorem proving}, title = {SATP: A simple automated theorem prover}, keyword = {artificial intelligence, automated reasoning, theorem proving} }
@unknown{unknown, author = {Bogunovi\'{c}, Nikola and Jurinac, Robert}, year = {1998}, keywords = {artificial intelligence, automated reasoning, theorem proving}, title = {SATP: A simple automated theorem prover}, keyword = {artificial intelligence, automated reasoning, theorem proving} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.