Context

Context of Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers, Edmund M. Clarke, Andrei Voronkov (eds.), (electronic resource)
Processing Feedback ...