Computer science logic

Descrição: This volume contains the final versions of a collection of papers presented at the Annual Conference of the Europea... Veja mais