Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /

Na minha lista:
Detalhes bibliográficos
Principais autores: Bertot, Yves, Castéran, Pierre.
Formato: Livro
Publicado em:
Assuntos:
Programação (Computadores).
Demonstração automática de teoremas.
Linguagem de programação (Computadores).
Endereço do item:https://app.bczm.ufrn.br/home/#/item/162697
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-104335
record_format dspace
spelling oai:localhost:123456789-1043352022-11-30T17:04:50Z Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Bertot, Yves Castéran, Pierre. Programação (Computadores). Demonstração automática de teoremas. Linguagem de programação (Computadores). 2 2022-10-06T01:00:33Z 2022-10-06T01:00:33Z c2004. Livro 004.42 B547i 3540208542 (enc.) 162697 https://app.bczm.ufrn.br/home/#/item/162697 https://app.bczm.ufrn.br/home/#/item/162697
institution Acervo SISBI
collection SIGAA
topic Programação (Computadores).
Demonstração automática de teoremas.
Linguagem de programação (Computadores).
spellingShingle Programação (Computadores).
Demonstração automática de teoremas.
Linguagem de programação (Computadores).
Bertot, Yves
Castéran, Pierre.
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
description
format Livro
author Bertot, Yves
Castéran, Pierre.
author_facet Bertot, Yves
Castéran, Pierre.
author_sort Bertot, Yves
title Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
title_short Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
title_full Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
title_fullStr Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
title_full_unstemmed Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
title_sort interactive theorem proving and program development : coq'art : the calculus of inductive constructions /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/162697
work_keys_str_mv AT bertotyves interactivetheoremprovingandprogramdevelopmentcoqartthecalculusofinductiveconstructions
AT casteranpierre interactivetheoremprovingandprogramdevelopmentcoqartthecalculusofinductiveconstructions
_version_ 1766860039281180672

Registros relacionados