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 book)
Processing Feedback ...