Title: Formalizacja systemu wnioskowania o zależnościach czasowych między zdarzeniami
First published: 1989
Subjects: Calculus of variations
LC classification: QA297 .P64 no. 658, QA315 .P64 no. 658