Results

eNauka >  Rezultati >  Correctness and Strong Completeness for Logic of Time and Knowledge
Naziv: Correctness and Strong Completeness for Logic of Time and Knowledge
Autori: Marinković, Bojan B. ; Ognjanović, Zoran D.  ; Paola Glavana
Godina: 2018
Publikacija: UNILOG 2018
Izdavač: Universite Clermont Auvergne, Vichy, France
Tip rezultata: Konferencijski rad
ISBN: 978-2-9544948-1-4 Pretraži identifikator
Kolacija: str. 432-433
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3055
https://enauka.gov.rs/handle/123456789/278659
URL: https://www.uni-log.org/vichy2018
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.