Logic for computer scientists /
Na minha lista:
Autor principal: | Schoning, Uwe |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/88391 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Logic for applications /
por: Nerode, Anil., et al.
Publicado em: (2022) -
The logical basis for computer programming /
por: Manna, Zohar., et al.
Publicado em: (2022) -
An introduction to lambda calculi for computer scientists /
por: Hankin, Chris,
Publicado em: (2022) -
Semantics and logics of computation /
por: Pitts, A. M., et al.
Publicado em: (2022) -
Nonclassical logics and information processing /
por: Pearce, David A.,, et al.
Publicado em: (2022)