First-Order Logic and Automated Theorem Proving

Marca: Melvin Fitting
ISBN: 1461275156
MPN: biography
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información