Logic for computer science : foundations of automatic theorem proving /
Na minha lista:
Autor principal: | Gallier, Jean H. |
---|---|
Formato: | Livro |
Publicado em: |
|
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/246003 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Symbolic logic and mechanical theorem proving /
por: Chang, Chin-Liang,, et al.
Publicado em: (2022) -
Automated theorem proving : theory and practice /
por: Newborn, Monty.
Publicado em: (2022) -
Automated theorem proving in software engineering /
por: Schumann, Johann M.,
Publicado em: (2022) -
Logicism renewed : logical foundations for mathematics and computer science /
por: Gilmore, Paul C.
Publicado em: (2022) -
Foundations of logic and mathematics : applications to computer science and cryptography /
por: Nievergelt, Yves.
Publicado em: (2022)