Showing 1 - 2 results of 2 for search 'Jouannaud, Jean-Pierre', query time: 0.01s Refine Results
  1. 1

    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
  2. 2

    Constraints in computational logics first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

    Published 1994
    Book

    Constraints in computational logics first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Search Tools: