Резултати

еНаука >  Резултати >  Craig Interpolation Theorem for Classical Propositional Logic with Some Probability Operators
Назив: Craig Interpolation Theorem for Classical Propositional Logic with Some Probability Operators
Аутори: Ikodinović, Nebojša  
Година: 2001
Публикација: Publications de l'Institut Mathématique
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Претражи идентификатор
Издавач: Belgrade : [Institut Mathématique, Académie serbe des sciences]
Тип резултата: Научни чланак
Колација: 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
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.