Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
Na minha lista:
Principais autores: | Bertot, Yves, Castéran, Pierre. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/162697 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
por: Bertot, Yves, et al.
Publicado em: (2022) -
Automated theorem proving in software engineering /
por: Schumann, Johann M.,
Publicado em: (2022) -
Automated theorem proving : theory and practice /
por: Newborn, Monty.
Publicado em: (2022) -
Symbolic logic and mechanical theorem proving /
por: Chang, Chin-Liang,, et al.
Publicado em: (2022) -
Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
por: Miculan, Marino., et al.
Publicado em: (2022)