Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Logic for Programming, Artificial Intelligence, and Reasoning. 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 Proceedings
Авторы: Dershowitz N. (ed.), Voronkov A. (ed.)
There were 78 submissions to LPAR 2007, each of which was reviewed by at least four programme committee members. The committee deliberated electronically via the EasyChair system and ultimately decided to accept 36 papers. The programme also included three invited talks by Johann Makowsky, Helmut Veith, and Richard Waldinger, and about 15 short papers, extended abstracts of which were distributed to participants.