Results
Title: | Automated Synthesis Tableau Calculi in Intelligent Web-based Education Systems | Authors: | Devedžić, Vladan ; Đurić, Dragan ; Milikić, Nikola ; Radenković, Sonja ; Nenad Krdžavac ; Bojan Jovičić | Issue Date: | 2011 | Publication: | International Conference on Computer Science and Information Technology | Publisher: | Tajland | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/237251 | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.