Showing 1 - 4 results of 4 for search '', query time: 0.02s Refine Results
  1. 1

    Types for proofs and programs /

    Published 1996
    Conference Proceeding Book
  2. 2

    Principles and practice of constraint programming, CP96 /

    Published 1996
    Conference Proceeding Book
  3. 3

    Constraint databases and applications /

    Published 1996
    Conference Proceeding Book
  4. 4

    Parallel symbolic languages and systems /

    Published 1996
    Conference Proceeding Book