|
|
|
|
Prace IPI PAN:
|
ISSN 0138-0648
|

|
|
982.
|
Marcin Malawski:
Wartości "proceduralne"
gier kooperacyjnych
Grudzień 2004, 16 stron.
Streszczenie
|
|
981.
|
Andrzej M. Borzyszkowski:
A note on coherent orthomodular posets [Uwagi na temat porządków ortomodularnych]
Listopad 2004, 15 stron.
Streszczenie
|
|
980.
|
Elżbieta Hajnicz :
Wybrane własności osadzeń i weryfikowanych przez nie struktur w Teorii Reprezentacji Dyskursu
Październik 2004, 84 strony.
Streszczenie
|
|
979.
|
Tomasz Pieciukiewicz, Kazimierz Subieta:
Recursive Query Processing in SBQL
Listopad 2004, 56 stron.
Streszczenie
|
|
978.
|
Włodzimierz Wysocki:
Characterizations of multivariate Archimedean quasi-copulas
[Charakteryzacja wielowymiarowych archimedesowskich quasi-kopuł]
Listopad 2004, 14 stron.
Streszczenie
|
|
977.
|
Krzysztof Trojanowski, Michał Jankowiak:
Właściwości miar podobieństwa w modelu sieci idiotypowej z binarną reprezentacją wzorców
Wrzesień 2004, 20 stron.
Streszczenie
|
|
976.
|
Arnon Avron, Beata Konikowska:
Proof Systems for Logics
Based on Non-deterministic Multiple-valued Structures
[Systemy dowodzenia dla logik opartych na niedeterministycznych
strukturach
wielowartościowych]
Maj 2004, 26 stron. Streszczenie
|
|
975.
|
Stanisław Ambroszkiewicz, Waldemar Bartyna, Marek Faderewski, Stanisław Jakubowski, Daniel Kocieliński, Dariusz Mikułowski, Grzegorz Terlikowski:
Blind-enT:Making Objects Visible for Blind People
[Blind-enT: system do wspomagania nawigacji dla osób niewidomych]
Maj 2004, 28 stron.
|
|
974.
|
Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankiewicz, Michał
Lentner, Krzysztof Stencel, Kazimierz Subieta:
Data-Intensive Grid Computing Based on Updatable Views
[Data-intensive Grid Computing oparty na aktualizowalnych
perspektywach]
Maj 2004, 56 stron,
Streszczenie
|
|
973.
|
Józef Winkowski: Towards a Framework for Modelling Systems with Rich Internal
Structures of States and Processes [Zarys formalizmu do modelowania systemów o bogatych
strukturach wewnętrznych stanów i procesów]
Luty 2004, 36 stron,
Streszczenie
|
|
|
|
|
|
 |
 |
|
|
|
 |
 |
|
|
|