PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 42, nr 3,4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2000
Identyfikatory
Zawartość wolumenu
Vol. 42, nr 3,4
artykuł:
The nondeterministic information logic NIL is PSPACE-complete
(
Demri S.
), s. 211-234
artykuł:
Reliable minimum finding comparator networks
(
Denejko P.
,
Diks K.
,
Pelc A.
,
Piotrów M.
), s. 235-249
artykuł:
Towards automated consistency checking of module interface specifications
(
Engel M.
,
Kret A.
,
Mincer-Daszkiewicz J.
), s. 251-278
artykuł:
Necessity measures and parametric inclusion relations of fuzzy sets
(
Inuiguchi M.
,
Tanino T.
), s. 279-302
artykuł:
First-order non-monotonic modal logics
(
Kaminski M.
,
Rey G.
), s. 303-333
artykuł:
Formal asynchronous systems modelling
(
Kohn M.
,
Schmeck H.
), s. 335-389
artykuł:
A new approach to preferential structures
(
Schlechta K.
,
Gourmelen L.
,
Motré S.
,
Rolland O.
,
Tahar B.
), s. 391-410
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ć.