Fundamenta Informaticae - Tom Vol. 100, nr 1/4 (2010) - 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. 100, nr 1/4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2010

Identyfikatory

Zawartość wolumenu

Vol. 100, nr 1/4
- artykuł: Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees (Bárány V., Kaiser Ł., Rabinovich A.), s. 1-17
- artykuł: Game Solution, Epistemic Dynamics and Fixed-Point Logics (van Benthem J., Gheerbrant A.), s. 19-41
- artykuł: A Note on Forcing and Type Theory (Coquand T., Jaber G.), s. 43-52
- artykuł: A Framework for Graded Beliefs, Goals and Intentions (Dunin-Kęplicz B., Nguyen L.A. L. A., Szałas A.), s. 53-76
- artykuł: Structures with Multirelations, their Discrete Dualities and Applications (Düntsch I., Orłowska E., Rewitzky I.), s. 77-98
- artykuł: A Local Version of the MLEM2 Algorithm for Rule Induction (Grzymala-Busse J. W., Rzasa W.), s. 99-116
- artykuł: Local Computations on Triangular Graphs (Mazurkiewicz A.), s. 117-140
- artykuł: Approximation Spaces in Rough–Granular Computing (Skowron A., Stepaniuk J.), s. 141-157
- artykuł: Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations (Vakarelov D.), s. 159-180
- artykuł: PSF - A Retrospective (Veltin G. J.), s. 181-227

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