-
Bib ID# 36339
ISBN: 9783540791249
UPC: 10.1007/978-3-540-79124-9
Title: Tests and ProofsSecond International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
Author: Beckert, Bernhard.
Publication Info:
Item Type: Language material