PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Powiadomienia systemowe
Sesja wygasła!
Sesja wygasła!
Sesja wygasła!
Sesja wygasła!
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 48, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2001
Identyfikatory
Zawartość wolumenu
Vol. 48, nr 4
artykuł:
Using Distance Functions to Solve Representation Choice Problems
(
Nguyen N.T.
), s. 295-314
artykuł:
Types for Active Objects with Static Deadlock Prevention
(
Puntigam F.
,
Peter Ch.
), s. 315-341
artykuł:
Effective Procedures for Handling Possible Equivalence Relations in Non-deterministic Information Systems
(
Sakai H.
), s. 343-362
artykuł:
Non-Clausal Reasoning with Definite Theories
(
Stachniak Z.
), s. 363-388
artykuł:
Computability by Sequences of Queries
(
Tyszkiewicz J.
), s. 389-414
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ć.