Computabilidade e lógica /

Na minha lista:
Detalhes bibliográficos
Principais autores: Boolos, George, Burgess, John P., Jeffrey, Richard C.
Formato: Livro
Publicado em:
Assuntos:
Funções computáveis
Funções recursivas
Lógica simbólica e matemática
Endereço do item:https://app.bczm.ufrn.br/home/#/item/237677
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-159177
record_format dspace
spelling oai:localhost:123456789-1591772022-10-06T16:32:06Z Computabilidade e lógica / Boolos, George, Burgess, John P., Jeffrey, Richard C., Funções computáveis Funções recursivas Lógica simbólica e matemática 3 2022-10-06T16:32:06Z 2022-10-06T16:32:06Z 2012. Livro 510.6 B724c 9788539303663 (broch.) 237677 https://app.bczm.ufrn.br/home/#/item/237677 https://app.bczm.ufrn.br/home/#/item/237677
institution Acervo SISBI
collection SIGAA
topic Funções computáveis
Funções recursivas
Lógica simbólica e matemática
spellingShingle Funções computáveis
Funções recursivas
Lógica simbólica e matemática
Boolos, George,
Burgess, John P.,
Jeffrey, Richard C.,
Computabilidade e lógica /
description
format Livro
author Boolos, George,
Burgess, John P.,
Jeffrey, Richard C.,
author_facet Boolos, George,
Burgess, John P.,
Jeffrey, Richard C.,
author_sort Boolos, George,
title Computabilidade e lógica /
title_short Computabilidade e lógica /
title_full Computabilidade e lógica /
title_fullStr Computabilidade e lógica /
title_full_unstemmed Computabilidade e lógica /
title_sort computabilidade e lógica /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/237677
work_keys_str_mv AT boolosgeorge computabilidadeelogica
AT burgessjohnp computabilidadeelogica
AT jeffreyrichardc computabilidadeelogica
_version_ 1766854167390846976

Registros relacionados