Ph.D. University of Warsaw, Poland, 1968
D.Sc. University of Warsaw, Poland, 1972, Mathematics
Logical Foundations of AI
Constraint Satisfaction
Design of Databases and Knowledge Bases
Ph.D. University of Warsaw, Poland, 1968
D.Sc. University of Warsaw, Poland, 1972, Mathematics