Резултати
Назив: | 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 |
М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.