The Haskell road to logic : maths and programming/

Na minha lista:
Detalhes bibliográficos
Principais autores: Doets, Kees., Eijck, Jan van.
Formato: Livro
Publicado em:
Assuntos:
Endereço do item:https://app.bczm.ufrn.br/home/#/item/93458
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-66084
record_format dspace
spelling oai:localhost:123456789-660842022-11-30T05:32:45Z The Haskell road to logic : maths and programming/ Doets, Kees. Eijck, Jan van. Programação de computador. Haskell (Linguagem de programação de computador). 1 2022-10-05T16:16:07Z 2022-10-05T16:16:07Z 2004. Livro 004.42 D635h 0954300696 93458 https://app.bczm.ufrn.br/home/#/item/93458 https://app.bczm.ufrn.br/home/#/item/93458
institution Acervo SISBI
collection SIGAA
topic Programação de computador.
Haskell (Linguagem de programação de computador).
spellingShingle Programação de computador.
Haskell (Linguagem de programação de computador).
Doets, Kees.
Eijck, Jan van.
The Haskell road to logic : maths and programming/
description
format Livro
author Doets, Kees.
Eijck, Jan van.
author_facet Doets, Kees.
Eijck, Jan van.
author_sort Doets, Kees.
title The Haskell road to logic : maths and programming/
title_short The Haskell road to logic : maths and programming/
title_full The Haskell road to logic : maths and programming/
title_fullStr The Haskell road to logic : maths and programming/
title_full_unstemmed The Haskell road to logic : maths and programming/
title_sort haskell road to logic : maths and programming/
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/93458
work_keys_str_mv AT doetskees thehaskellroadtologicmathsandprogramming
AT eijckjanvan thehaskellroadtologicmathsandprogramming
AT doetskees haskellroadtologicmathsandprogramming
AT eijckjanvan haskellroadtologicmathsandprogramming
_version_ 1766808373515255808