Computation and reasoning : a type theory for computer science /
Na minha lista:
Autor principal: | Luo, Zhaohui. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/117210 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Computer-aided reasoning : an approach /
por: Kaufmann, Matt., et al.
Publicado em: (2022) -
Topology and category theory in computer science /
por: Reed, George M., et al.
Publicado em: (2022) -
Computer Science Theory and Applications /
por: Hirsch, Edward A., et al.
Publicado em: (2022) -
Handbook of theoretical computer science /
por: Leeuwen, J. van
Publicado em: (2022) -
Handbook of theoretical computer science /
por: Leeuwen, J. van
Publicado em: (2022)