Results
| Title: | Contibutions to compact Representation of Sequent Proofs | Authors: | Lutovac, Tatjana   |
Issue Date: | 2011 | Publication: | XXXVIII Symp. on Operational Research | Publisher: | Srbija | Type: | Conference Paper | ISBN: | 978-86-403-1168-7  Search Idenfier |
Collation: | vol. 1 br. 1 str. 72-75 | URI: | https://enauka.gov.rs/handle/123456789/301813 | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.