Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
Bok Engelsk 2001 PTCS 2001
| Utgitt | Berlin : Springer , c2001
|
|---|---|
| Omfang | VIII, 238 s. : fig.
|
| Emner | |
| Dewey | |
| ISBN | 354042752X
|
