Context

Context of Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings, Erich Grädel, Reinhard Kahle (eds.), (electronic resource)
Processing Feedback ...