LOGIC IN COMPUTER SCIENCE, Proceedings of 14th Annual IEEE Symposium on, 2-5 July 1999, Trento, Italy

EAN/UPC/ISBN Code 9780780357709