еНаука - преглед
Преглед према Аутор Narboux, Julien
Приказ резултата 1 до 7 од 7
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2014 | A Vernacular for Coherent Logic | Stojanović Đurđević, Sana   ; Narboux, Julien; Bezem, Marc; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving | Gonzalez, Salwa Tabet; Janicic, Predrag ; Narboux, Julien | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Automated generation of illustrated proofs in geometry and beyond | Janicic, Predrag ; Narboux, Julien | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry | Ðurđević, Sana Stojanović ; Narboux, Julien; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2026 | Geometry machine revisited | Janicic, Predrag ; Narboux, Julien | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | The Area Method: A Recapitulation | Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2022 | Theorem Proving as Constraint Solving with Coherent Logic | Janicic, Predrag ; Narboux, Julien | Научни чланак | 22M22 - Међународни часопис категорије M22 |