Bonzon, Pierre E.

3 publications

AAAI 1997 A Reflective Proof System for Reasoning in Contexts Pierre E. Bonzon

IJCAI 1987 An Environment Model for the Integration of Logic and Functional Programming Pierre E. Bonzon

IJCAI 1979 Learning of Abstractions from Structural Descriptions of Pictures Pierre E. Bonzon