por J. M. Lorente Tallada · ISBN 9788485630479
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Prueba automática de teoremas» é a monografia de J. M. Lorente Tallada, publicada em 1982, com 127 páginas, em espanhol.
O livro estuda a demonstração automática de teoremas e descreve os fundamentos teóricos e os aspetos práticos da automatização do raciocínio dedutivo, com atenção aos métodos e técnicas empregados neste campo.
Obra de interesse para estudantes e profissionais de informática e matemática que queiram conhecer a lógica computacional aplicada à demonstração automática.
