First-Order Logic and Automated Theorem Proving
Patrocinado Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Encontrar otras opciones disponibles:
Back Market ES 
| Identificadores | |
|---|---|
| ISBN | Melvin Fitting 1461275156 |
| MPN | Melvin Fitting biography |
| Dimensiones / Peso | |
| Características principales | |
Melvin Fitting
