Logical Foundations of AIConstraint SatisfactionDesign of Databases and Knowledge Bases
Ph.D. University of Warsaw, Poland, 1968
D.Sc. University of Warsaw, Poland, 1972, Mathematics