Using Sophisticated Models in Resolution Theorem Proving
Using Sophisticated Models in Resolution Theorem Proving SANDFORD, DAVID M.
No. da coleção
0
Editorial:
SPRINGER
Ano de edição:
1980
ISBN:
978-3-540-10231-1
EAN
9783540102311
Coleção:
Lecture Notes in Computer Science
Alto:
233 Alto
Largura:
155Largura
Idioma:
INGLES

-5%

51,99 €

49,39 €

IVA incluído

ESGOTADO (entrega estimada em 10 dias)

Comprar

Notificar disponibilidade

Adicionar aos favoritos

Envio grátis!

Se a sua compra exceder 19

Using Sophisticated Models in Resolution Theorem Proving é do autor SANDFORD, DAVID M.

Using Sophisticated Models in Resolution Theorem Proving do autor SANDFORD, DAVID M. editado por SPRINGER no ano 1980.

Using Sophisticated Models in Resolution Theorem Proving tem um código ISBN 978-3-540-10231-1. Neste caso, é o formato papel, mas não temos Using Sophisticated Models in Resolution Theorem Proving em formato ebook.

Outros livros de

Outros livros de SPRINGER