Logic For Computer Science

Foundations Of Automatic Theorem Proving, Second Edition

de Jean Gallier 

Bertrand.pt - Logic For Computer Science
idioma: Inglês
Editor: DOVER PUBLICATIONS INC.
Edição: junho de 2015
35,39€
Notifiquem-me quando disponível
Logic For Computer Science
Foundations Of Automatic Theorem Proving, Second Edition
ISBN:
9780486780825
Ano de edição:
06-2015
Editor:
DOVER PUBLICATIONS INC.
Idioma:
Inglês
Dimensões:
155 x 234 x 20 mm
Encadernação:
Capa mole
Páginas:
544
Tipo de Produto:
Livro
EAN:
9780486780825
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.