Deduction, computation, experiment : exploring the effectiveness of proof /

Na minha lista:
Detalhes bibliográficos
Principais autores: Lupacchini, Rossella, Corsi, Giovanna.
Formato: Livro
Publicado em:
Assuntos:
Evidência.
Lógica.
Endereço do item:http://dx.doi.org/10.1007/978-88-470-0784-0
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-202720
record_format dspace
spelling oai:localhost:123456789-2027202022-11-30T12:44:17Z Deduction, computation, experiment : exploring the effectiveness of proof / Lupacchini, Rossella Corsi, Giovanna. Evidência. Lógica. 2 2022-10-11T06:52:14Z 2022-10-11T06:52:14Z c2008. Livro 168.3 D299 9788847007833 (broch.). 126570 http://dx.doi.org/10.1007/978-88-470-0784-0 http://dx.doi.org/10.1007/978-88-470-0784-0
institution Acervo SISBI
collection SIGAA
topic Evidência.
Lógica.
spellingShingle Evidência.
Lógica.
Lupacchini, Rossella
Corsi, Giovanna.
Deduction, computation, experiment : exploring the effectiveness of proof /
description
format Livro
author Lupacchini, Rossella
Corsi, Giovanna.
author_facet Lupacchini, Rossella
Corsi, Giovanna.
author_sort Lupacchini, Rossella
title Deduction, computation, experiment : exploring the effectiveness of proof /
title_short Deduction, computation, experiment : exploring the effectiveness of proof /
title_full Deduction, computation, experiment : exploring the effectiveness of proof /
title_fullStr Deduction, computation, experiment : exploring the effectiveness of proof /
title_full_unstemmed Deduction, computation, experiment : exploring the effectiveness of proof /
title_sort deduction, computation, experiment : exploring the effectiveness of proof /
publishDate 2022
url http://dx.doi.org/10.1007/978-88-470-0784-0
work_keys_str_mv AT lupacchinirossella deductioncomputationexperimentexploringtheeffectivenessofproof
AT corsigiovanna deductioncomputationexperimentexploringtheeffectivenessofproof
_version_ 1766833222812958720

Registros relacionados