Outras Aplicações

Second-Order Quantifier Elimination

Foundations, Computational Aspects And Applications

de Dov Gabbay, Andrzej Szalas e Renate A. Schmidt 

Bertrand.pt - Second-Order Quantifier Elimination
idioma: Inglês
Editor: COLLEGE PUBLICATIONS
Edição: abril de 2008
21,25€
Esgotado ou não disponível
RESERVAR NA LIVRARIA Livrarias
Second-Order Quantifier Elimination
Foundations, Computational Aspects And Applications
de Dov Gabbay, Andrzej Szalas e Renate A. Schmidt 
ISBN:
9781904987567
Ano de edição:
04-2008
Editor:
COLLEGE PUBLICATIONS
Idioma:
Inglês
Encadernação:
Capa mole
Páginas:
320
Tipo de Produto:
Livro
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Outras Aplicações

EAN:
9781904987567

Dos mesmos autores

Journal Of Applied Logics - The Ifcolog Journal Of Logics And Their Applications
Journal Of Applied Logics - The Ifcolog
14,16€
COLLEGE PUBLICATIONS
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.