Showing 1 - 2 results of 2 for search '"Lecture notes in computer science,"', query time: 0.01s Refine Results
  1. 1

    Applied semantics /

    Published 2002
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  2. 2

    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book