A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso
Ce volume est dédié à la mémoire de Paulo A.
S. Veloso (1944-2020), éminent logicien brésilien.
Les contributions scientifiques de Veloso sont disséminées dans les domaines les plus importants liés à la logique : l'informatique, les mathématiques et la philosophie. Ses principales contributions concernent la théorie des automates, la logique algébrique, les spécifications formelles, les logiques modales et le raisonnement diagrammatique. Outre sa profondeur intellectuelle et ses idées novatrices, Veloso était connu pour sa gentillesse et sa générosité, tant sur le plan académique que personnel, comme en témoigne le grand nombre de collaborateurs et d'amis qu'il a cultivés tout au long de sa carrière.
Il était grand temps que certains de ces collaborateurs et amis travaillent ensemble. Le résultat est ce livre, qui contient de brillantes contributions dans les différents domaines directement liés à l'œuvre exceptionnelle de Paulo Veloso.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)