Search Results - "QA76.9.A96 P753 2001"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /

    Published 2001
    “…QA76.9.A96 P753 2001…”
    Conference Proceeding Book
  2. 2
Search Tools: RSS Feed Save Search