Rezultati
eNauka >
Rezultati >
An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus
| Naziv: | An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus | Autori: | Lutovac, Tatjana   |
Godina: | 2012 | Publikacija: | BCI 2012 | Tip rezultata: | Konferencijski rad | Kolacija: | str. 64-69 | DOI: | 10.1145/2371316.2371329 | Scopus-ID: | 2-s2.0-84867391771 | URI: | https://enauka.gov.rs/handle/123456789/500997 http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/3/704006 |
Izvor metapodataka: | Migracija | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Alt metrika
Dimensions
Unpaywall
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.