Results

eNauka >  Results >  Semantic Tableaux Method and its Applications in Automated Theorem Provers in Logical Systems
Title: Semantic Tableaux Method and its Applications in Automated Theorem Provers in Logical Systems
Authors: Krapež, Aleksandar  ; Miodrag Kapetanović
Issue Date: 2010
Publication: Konferencija Istorijat logike u Srbiji, Beograd
Publisher: Matematički institut SANU, Beograd, Matematički fakultet, Beograd, Društvo za čistu i primenjenu logiku, Beograd, Srbija
Type: Conference Paper
Collation: str. 4-4
URI: https://enauka.gov.rs/handle/123456789/478935
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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