Thirty-Second Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
20–23 June 2017 • Reykjavik
Provisional Call for Papers
LICS 2017 will be hosted in Reykjavik during 20-23 June 2017.
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer
Passo aqui para divulgar um livro novo, em português, sobre álgebra
linear com aplicações a mecânica quântica e com breves digressões
sobre o axioma da escolha e sobre a lógica quântica:
Álgebra Linear: com um pouco de Mecânica Quântica
Décio Krause
Coleção Rumos da Epistemologia 15
