Automated theorem proving : theory and practice /
Na minha lista:
Autor principal: | Newborn, Monty. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/126680 |
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 in software engineering /
por: Schumann, Johann M.,
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) -
Automated model building /
por: Caferra, Ricardo., et al.
Publicado em: (2022) -
Automated deduction in classical and non-classical logics : selected papers /
por: Caferra, Ricardo,, et al.
Publicado em: (2022)