Logic For Computer Science

Name: Logic For Computer Science
Price: 35.39 EUR
Author: Jean Gallier
ISBN: 9780486780825

Foundations Of Automatic Theorem Proving, Second Edition

de Jean Gallier

idioma: inglês

Editor: DOVER PUBLICATIONS INC., junho de 2015 ‧ ver detalhes do produto

(0)

35,39€

ESGOTADO OU NÃO DISPONÍVEL

alerta de artigo novamente disponível

Logic For Computer Science

Foundations Of Automatic Theorem Proving, Second Edition

de Jean Gallier
Propriedade	Descrição
ISBN:	9780486780825
Editor:	DOVER PUBLICATIONS INC.
Data de Lançamento:	junho de 2015
Idioma:	Inglês
Dimensões:	155 x 234 x 20 mm
Encadernação:	Capa mole
Páginas:	544
Tipo de produto:	Livro
Coleção:	Dover Books On Computer Science
Classificação Temática:	Livros em Inglês > Ciências Exatas e Naturais > Matemática Livros em Inglês > Outros
EAN:	9780486780825