Logic for Programming, Artificial Intelligence and Reasoning: Proc./14th International Conference, LPAR 2007. Yerevan, Armenia, October 2007

Б2.14, В2.1.

Logic for Programming, Artificial Intelligence and Reasoning: Proc./14th International Conference, LPAR 2007. Yerevan, Armenia, October 2007Ed. by Dershowitz N., Voronkov A..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4790.-562 p.-(Lecture Notes in Artificial Intelligence).