Isabelle/HOL : a proof assistant for higher-order logic /
Na minha lista:
Principais autores: | Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/101250 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Isabelle : a generic theorem prover /
por: Paulson, Lawrence C.
Publicado em: (2022) -
Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /
por: TYPES '99 (1999 : Lökeberg, Sweden), et al.
Publicado em: (2022) -
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
por: Siekmann, Jörg H., et al.
Publicado em: (2022) -
Logical frameworks /
por: Huet, Gâerard., et al.
Publicado em: (2022) -
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 : proceedings /
por: Grundy, Jim,, et al.
Publicado em: (2022)