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 Nature B.V.. Idioma: Inglés.