Fundamenta Informaticae - Tom Vol. 40, Nr 4 (1999) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 40, Nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

1999

Identyfikatory

Zawartość wolumenu

Vol. 40, Nr 4
- artykuł: Tableaux based decision procedures for modal logics of confluence and density (del Cerro L.F., Gasquet O.), s. 317-333
- artykuł: Full abstrctness of a metric semantics for action refinement (Hartog J.I. den, Vink E.P. de, Bakker J.W. de), s. 335-382
- artykuł: Rough sets and Association Rule generation (Nguyen H.S., Nguyen S.H.), s. 383-405
- artykuł: Generalized Mutual Exclusion with semaphores only (Ordman E.T., Eberbach E., Anwar A.), s. 407-422

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