Search Results - "QA76.9.A96 P753 2001"
-
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
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Published 2001“…QA76.9.A96 P753 2001…”
Full Text (via Springer)
Conference Proceeding eBook