|
|
|
|
Prace IPI PAN:
|
ISSN 0138-0648
|
|
|
951.
|
Stanislaw Ambroszkiewicz:
Entish: eLingua for Service Description and Composition
October 2002, pp. 48 [Abstract]
|
|
950.
|
Hanna Kozankiewicz, Jacek Leszczyłowski,
Jacek Płodzień, Kazimierz Subieta:
Updateable Object Views
October 2002, pp. 54
[Abstract]
|
|
949.
|
Bożena Woźna, Wojciech Penczek, Andrzej Zbrzezny:
Checking Reachability Properties for Timed Automata via SAT
October 2002, pp. 19
[Abstract]
|
|
948.
|
Józef Winkowski:
Towards a Solution to a Plan-formation Problem
September 2002, pp. 18
[Abstract]
|
|
947.
|
Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny:
SAT-Based Bounded Model Checking for the Universal Fragment of TCTL
September 2002, pp. 26
[Abstract]
|
|
946.
|
Wojciech Penczek, Alessio Lomuscio:
Bounded Model Checking for Interpreted Systems
July, 2002, pp. 8.
[Abstract]
|
|
945.
|
Elżbieta Pleszczyńska, Maria Grzegorek:
Analiza danych dotyczących osób niepełnosprawnych (I)
(Data analysis concerning physically disabled people (I))
July 2002, pp. 30 [Abstract]
|
|
944.
|
Alicja Ciok:
Grade approach to skewness
May 2002, pp. 16.
|
|
943.
|
Jerzy Tchórzewski, Mieczysław A. Kłopotek:
A Case Study in Neural Network Evolution
March 2002, pp. 12.
[Abstract]
|
|
942.
|
Marek A. Bednarczyk:
Explicit Substitution into Action. A non-monotone logic for reasoning about actions and change
February 2002, pp. 10
[Abstract]
|
|
941.
|
Mieczysław Alojzy Kłopotek:
Structure and Reasoning in Bayesian Networks
February 2002, pp.12
[Abstract]
|
|
940.
|
Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny:
Ograniczona weryfikacja modelowa dla
systemów sieci elementarnych ( Branching Time Bounded Model Checking for Elementary Net Systems)
January 2002, pp. 16,
[Abstract]
|
|
|
|
 |
|
|
|
|
|
|
|
|
