Computational Logic - CL 2000: Proc./First Intern. Conf., London, UK, July 2000

В2.11, Б2.13, Б2.14.

Computational Logic - CL 2000: Proc./First Intern. Conf., London, UK, July 2000Ed. by Lloyd J., Dahl V., Furbach U., Kerber M..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1861.-1379 p.-(Lecture Notes in Artificial Intelligence).