Nicolas Peltier

Bibliography

Bourely, Christophe, Difourneaux, Gilles and Peltier, Nicolas. 1996. “Building Proofs or Counterexamples by Analogy in a Resolution Framework.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 34–49. Berlin: Springer.