Extension Rule for Non-Clausal Propositional Calculus

Majorinc, Kazimir

izvor podataka: crosbi ✓

Extension Rule for Non-Clausal Propositional Calculus (CROSBI ID 83548)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Majorinc, Kazimir Extension Rule for Non-Clausal Propositional Calculus // Fundamenta informaticae, 31 (1997), 107-116

Podaci o odgovornosti

Autori

Majorinc, Kazimir

Osnovni podaci na izvornom jeziku
Osnovni podaci na ostalim jezicima

Jezik

engleski

Naslov

Extension Rule for Non-Clausal Propositional Calculus

Sažetak

Extension Rule for Non-Clausal Propositional Calculus

Ključne riječi

non-clausal propositional calculus

Napomena

nije evidentirano

Jezik

nije evidentirano

Naslov

nije evidentirano

Sažetak

nije evidentirano

Ključne riječi

nije evidentirano

Napomena

nije evidentirano

Podaci o izdanju

Časopis

Fundamenta informaticae

Volumen (broj)

Godina

1997.

Stranice rada

107-116

Status objave rada

objavljeno

ISSN

0169-2968

Povezanost rada

Povezane osobe

Kazimir Majorinc (autor/i)

Povezane ustanove

Prirodoslovno-matematički fakultet, Zagreb (119) (autorova ustanova)

Područje

Kemija

Indeksiranost

Scopus