The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common.... Su autoría corre a cargo de Jack Minker. La editorial del título es Springer Science & Business Media. El libro tiene 606 páginas . Idioma: Inglés.