Fundamenta Informaticae - Tom Vol. 96, nr 3 (2009) - Biblioteka Nauki - Yadda

Ten serwis zostanie wyłączony 2025-02-11.

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. 96, nr 3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2009

Identyfikatory

Zawartość wolumenu

Vol. 96, nr 3
- artykuł: Normal Form Nested Programs (Bria A., Faber W., Leone N.), s. 271-295
- artykuł: Model Checking for Graded CTL (Ferrante A., Napoli M., Parente M.), s. 323-339
- artykuł: Integrating Finite Domain and Set Constraints into a Set-based Constraint Language (Bergenti F., Dal Palu A., Rossi G.), s. 227-252
- artykuł: GASP: Answer Set Programming with Lazy Grounding (Dal Palu A., Dovier A., Pontelli E., Rossi G.), s. 297-322
- artykuł: ALC + T: a Preferential Extension of Description Logics (Giordano L., Gliozzi V., Olivetti N., Pozzato G. L.), s. 341-372
- artykuł: Actions Over a Constructive Semantics for Description Logics (Bozzato L., Ferrari M., Villa P.), s. 253-269
- artykuł: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs (Senni V., Pettorossi A., Proietti M.), s. 373-393

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