Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning held in Tbilisi, Georgia, September 6-10, 1999. Softcover.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.