Fundamenta Informaticae - Tom Vol. 152, nr 4 (2017) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 152, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2017

Identyfikatory

Zawartość wolumenu

Vol. 152, nr 4
- artykuł: SMT-based Searching for κ-quasi-optimal Runs in Weighted Timed Automata (Woźna-Szcześniak B., Zbrzezny A. M., Zbrzezny A.), s. 411--433
- artykuł: On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity (Šíma J., Žák S.), s. 397--409
- artykuł: Interval-valued Fuzzy Soft Decision Making Methods Based on MABAC, Similarity Measure and EDAS (Peng X., Dai J., Yuan H.), s. 373--396
- artykuł: An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar (Loukanova R.), s. 341--372

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.