Results
eNauka >
Results >
Implementation of Baselog Editor Module for 1st Order Predicate Calculus Formula Transformation
| Title: | Implementation of Baselog Editor Module for 1st Order Predicate Calculus Formula Transformation | Authors: | Kazi, (Eremić) Ljubica   ; Kazi, Zoltan ; Hotomski, Petar |
Issue Date: | 2004 | Publication: | Seminar primenjene matematike - PRIM, 14, Budva, Crna Gora, 2004, 31. maj - 04. jun | Publisher: | Novi Sad, Srbija: Prirodno-matematički fakultet | Type: | Conference Paper | Collation: | vol. 16 br. 1 str. 203-216 | URI: | https://enauka.gov.rs/handle/123456789/901236 | Metadata source: | (Preuzeto iz KNR-a) Kazi, Ljubica | Availability note: | Пуни текст је доступан само у штампаној форми | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.