Context

Context of Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings, Christian G. Fermüller, Andrei Voronkov (eds.), (electronic resource)
Processing Feedback ...