Резултати

еНаука >  Резултати >  More on trees and finite satisfiability: The taming of terms
Назив: More on trees and finite satisfiability: The taming of terms
Аутори: Kapetanović, Miodrag; Krapež, Aleksandar  
Година: 1987
Публикација: Notre Dame Journal of Formal Logic
ISSN: 0029-4527 Notre Dame Journal of Formal Logic Претражи идентификатор
Издавач: Duke University Press
Тип резултата: Научни чланак
Колација: 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
М-категорија: 
Мп категорија ће бити приказана накнадно.

Алт метрика
Dimensions

Пронађи DOI
Unpaywall

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