Results

еНаука >  Резултати >  Semantic Tableaux Method and its Applications in Automated Theorem Provers in Logical Systems
Назив: Semantic Tableaux Method and its Applications in Automated Theorem Provers in Logical Systems
Аутори: Krapež, Aleksandar  ; Miodrag Kapetanović
Година: 2010
Публикација: Konferencija Istorijat logike u Srbiji, Beograd
Издавач: Matematički institut SANU, Beograd, Matematički fakultet, Beograd, Društvo za čistu i primenjenu logiku, Beograd, Srbija
Тип резултата: Конференцијски рад
Колација: str. 4-4
URI: https://enauka.gov.rs/handle/123456789/478935
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

Find the DOI

Google ScholarTM

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