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

Gradel, E.; Jeffrey, A.; Banerjee, A.; Et.al.

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