Fundamenta Informaticae - Tom Vol. 50, nr 1 (2002) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 50, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2002

Identyfikatory

Zawartość wolumenu

Vol. 50, nr 1
- artykuł: Markov Decision Processes and Deterministic Büchi Automata (Beauquier D.), s. 1-13
- artykuł: A Complete Axiomatization of Process Temporal Logic (Kacprzak M.), s. 15-31
- artykuł: A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems (Klaudel H., Pommereau F.), s. 33-55
- artykuł: On Decision Trees for (1,2)-Bayesian Networks (Moshkov M.Ju.), s. 57-76
- artykuł: Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory (Sureson C.), s. 77-110

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ć.