Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 27743

Extension Rule for Non-Clausal Propositional Calculus

Majorinc, Kazimir
Extension Rule for Non-Clausal Propositional Calculus // Fundamenta informaticae, 31 (1997), 107-116 (međunarodna recenzija, članak, znanstveni)

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

Naslov
Extension Rule for Non-Clausal Propositional Calculus

Autori
Majorinc, Kazimir

Izvornik
Fundamenta informaticae (0169-2968) 31 (1997); 107-116

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
non-clausal propositional calculus

Sažetak
Extension Rule for Non-Clausal Propositional Calculus

Izvorni jezik
Engleski

Znanstvena područja
Kemija



POVEZANOST RADA

Projekti:
119404

Ustanove:
Prirodoslovno-matematički fakultet, Zagreb

Profili:

Avatar Url Kazimir Majorinc (autor)

Citiraj ovu publikaciju:

Majorinc, Kazimir
Extension Rule for Non-Clausal Propositional Calculus // Fundamenta informaticae, 31 (1997), 107-116 (međunarodna recenzija, članak, znanstveni)
Majorinc, K. (1997) Extension Rule for Non-Clausal Propositional Calculus. Fundamenta informaticae, 31, 107-116.
@article{article, author = {Majorinc, Kazimir}, year = {1997}, pages = {107-116}, keywords = {non-clausal propositional calculus}, journal = {Fundamenta informaticae}, volume = {31}, issn = {0169-2968}, title = {Extension Rule for Non-Clausal Propositional Calculus}, keyword = {non-clausal propositional calculus} }
@article{article, author = {Majorinc, Kazimir}, year = {1997}, pages = {107-116}, keywords = {non-clausal propositional calculus}, journal = {Fundamenta informaticae}, volume = {31}, issn = {0169-2968}, title = {Extension Rule for Non-Clausal Propositional Calculus}, keyword = {non-clausal propositional calculus} }

Časopis indeksira:


  • Scopus

Podijeli:





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