Rezultati

eNauka >  Rezultati >  More on trees and finite satisfiability: The taming of terms
Naziv: More on trees and finite satisfiability: The taming of terms
Autori: Kapetanović, Miodrag; Krapež, Aleksandar  
Godina: 1987
Publikacija: Notre Dame Journal of Formal Logic
ISSN: 0029-4527 Notre Dame Journal of Formal Logic Pretraži identifikator
Izdavač: Duke University Press
Tip rezultata: Naučni članak
Kolacija: vol. 28 br. 3 str. 392-394
DOI: 10.1305/ndjfl/1093637559
Scopus-ID: 2-s2.0-84972498342
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/998
https://enauka.gov.rs/handle/123456789/578810
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Alt metrika
Dimensions

Pronađi DOI
Unpaywall

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