Isabelle/HOL : a proof assistant for higher-order logic /

Na minha lista:
Detalhes bibliográficos
Principais autores: Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus.
Formato: Livro
Publicado em:
Assuntos:
Lógica computacional.
Provadores de teoremas.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/101250
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-71616
record_format dspace
spelling oai:localhost:123456789-716162022-11-30T07:10:44Z Isabelle/HOL : a proof assistant for higher-order logic / Nipkow, Tobias, Paulson, Lawrence C. Wenzel, Markus. Lógica computacional. Provadores de teoremas. 3 2022-10-05T17:25:41Z 2022-10-05T17:25:41Z c2002. Livro 510.6 N719i 3540433767 101250 https://app.bczm.ufrn.br/home/#/item/101250 https://app.bczm.ufrn.br/home/#/item/101250
institution Acervo SISBI
collection SIGAA
topic Lógica computacional.
Provadores de teoremas.
spellingShingle Lógica computacional.
Provadores de teoremas.
Nipkow, Tobias,
Paulson, Lawrence C.
Wenzel, Markus.
Isabelle/HOL : a proof assistant for higher-order logic /
description
format Livro
author Nipkow, Tobias,
Paulson, Lawrence C.
Wenzel, Markus.
author_facet Nipkow, Tobias,
Paulson, Lawrence C.
Wenzel, Markus.
author_sort Nipkow, Tobias,
title Isabelle/HOL : a proof assistant for higher-order logic /
title_short Isabelle/HOL : a proof assistant for higher-order logic /
title_full Isabelle/HOL : a proof assistant for higher-order logic /
title_fullStr Isabelle/HOL : a proof assistant for higher-order logic /
title_full_unstemmed Isabelle/HOL : a proof assistant for higher-order logic /
title_sort isabelle/hol : a proof assistant for higher-order logic /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/101250
work_keys_str_mv AT nipkowtobias isabelleholaproofassistantforhigherorderlogic
AT paulsonlawrencec isabelleholaproofassistantforhigherorderlogic
AT wenzelmarkus isabelleholaproofassistantforhigherorderlogic
_version_ 1766808498697404416

Registros relacionados