Syntax aproach to extracting information about formulas and proofs during automated proof search in sequent calculi for some resource-sensitive logics

Lutovac, Tatjana A.

Резултати

eNauka > Rezultati > Syntax aproach to extracting information about formulas and proofs during automated proof search in sequent calculi for some resource-sensitive logics

Naziv:	Syntax aproach to extracting information about formulas and proofs during automated proof search in sequent calculi for some resource-sensitive logics
Autori:	Lutovac, Tatjana A.
Godina:	2017
Publikacija:	Osmi simpozijum ..Matematika i primene''
Izdavač:	Matematicki fakultet Univerziteta u Beogradu i Srpska akademija nauka i umetnosti
Tip rezultata:	Konferencijski rad
URI:	https://enauka.gov.rs/handle/123456789/140565
Izvor metapodataka:	Migrirano iz RIS podataka
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Google Scholar^TM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.