Search Results - Artemov, S. N.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Conference Proceeding
    Conference Proceeding

    Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings

    Published 2007
    Other Authors: “…Artemov, S. N.…”

    Save to List
    Saved in:

Search Tools: