Rezultati

eNauka >  Rezultati >  A Redundancy Analysis of Sequent Proofs
Naziv : A Redundancy Analysis of Sequent Proofs
Autori: T. Lutovac  ; J. Harland
Godina: 2005
Publikacija: LECTURE NOTES IN COMPUTER SCIENCE
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: vol. 3702 str. 185-200
DOI: 10.1007/11554554_15
WoS-ID: 000233235000014
Scopus-ID: 2-s2.0-33646166549
URI: http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/2/4682
https://enauka.gov.rs/handle/123456789/744829
M-kategorija: 
23M23 - Međunarodni časopis kategorije M23

1
SCOPUSTM
1
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.