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
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%