Compartilhar

Sinopse
Edições0
Vídeos0
Grupos0
Resenhas0
Leitores0
Similares0

Saiba mais

Quem somos Termos de uso Fale conosco Central de ajuda Privacidade

Fique por dentro

Livros em destaque

Explore

Livros Autores Editoras Leitores Cortesias

Siga nas redes sociais

Baixe o app

First-order Logic and Automated Theorem Proving

Melvin Fitting

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

1990

257 páginas

8h 34m

ISBN-10: 3540972331

0

0 avaliação

Leram0 Lendo0 Querem0 Relendo0 Abandonos0 Resenhas0

Favoritos0 Desejados0 Avaliaram0

Estatísticas

Avaliações

0 / 0

5 estrelas0%
4 estrelas0%
3 estrelas0%
2 estrelas0%
1 estrelas0%