Deduction, computation, experiment : exploring the effectiveness of proof /
Na minha lista:
Principais autores: | Lupacchini, Rossella, Corsi, Giovanna. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | http://dx.doi.org/10.1007/978-88-470-0784-0 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Proof and disproof in formal logic : an introduction for programmers /
por: Bornat, Richard,
Publicado em: (2022) -
Natural deduction : a proof-theoretical study /
por: Prawitz, Dag.
Publicado em: (2022) -
The deductive foundations of computer programming /
por: Manna, Zohar., et al.
Publicado em: (2022) -
Labelled deduction /
por: Basin, David.
Publicado em: (2022) -
Deduction : introductory symbolic logic /
por: Bonevac, Daniel A.,
Publicado em: (2022)