.Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /.,.
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego, Bay, Jamaica, December 2-6, 2005 : proceedings /
International Conference on Logic Programming and Automated Reasoning,LPAR.International Conference on Logic Programming and Automated Reasoning(1992 : Russia):Login Programming and automated reasoning.Springer,1992.