Computer Science logic: Proc./16th Intern. Workshop, CSL 2002, 11th Annual Conf. of the EACSL, Edinburgh, Scotland, UK, September 2002

Б2.13, Б2.14, В2.11.

Computer Science logic: Proc./16th Intern. Workshop, CSL 2002, 11th Annual Conf. of the EACSL, Edinburgh, Scotland, UK, September 2002Ed. by Bradfield J..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2471.-613 p.-(Lecture Notes in Computer Science).