de Rougemont, Michel

2 publications

AAAI 1997 Spatial Navigation with Uncertain Deviations Michel de Rougemont, Christoph Schlieder

IJCAI 1987 Constructive Second-Order Proofs in Logical Databases Michel de Rougemont