Rezultati

eNauka >  Rezultati >  Craig Interpolation Theorem for Classical Propositional Logic with Some Probability Operators
Naziv: Craig Interpolation Theorem for Classical Propositional Logic with Some Probability Operators
Autori: Ikodinović, Nebojša  
Godina: 2001
Publikacija: Publications de l'Institut Mathématique
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Pretraži identifikator
Izdavač: Belgrade : [Institut Mathématique, Académie serbe des sciences]
Tip rezultata: Naučni članak
Kolacija: vol. 69 br. 83 str. 27-33
VBS COBISS: 160272908
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/160272908#izum.si
https://enauka.gov.rs/handle/123456789/1050830
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.