Linear logic in computer science /
Na minha lista:
Autor principal: | Ehrhard, Thomas |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/100266 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Mathematical logic for computer science /
por: Lu, Zhongwan.
Publicado em: (2022) -
Handbook of logic in computer science /
por: Abramsky, Sansão,, et al.
Publicado em: (2022) -
Logic for mathematics and computer science /
por: Burris, Stanley N.
Publicado em: (2022) -
Mathematical logic for computer science /
por: Ben-Ari, M.,
Publicado em: (2022) -
Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch., et al.
Publicado em: (2022)