Computer Science Logic : 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and the 8th Kurt Godel Colloquium, Kgc 2003 : Proceedings
ISBN: 9783540452201
Information Available:
Summary
Copyright held by Baker & Taylor.