Second-Order Quantifier Elimination

Foundations, Computational Aspects And Applications

de Andrzej Szalas, Renate A. Schmidt e Dov Gabbay
idioma: inglês
Editor: COLLEGE PUBLICATIONS, abril de 2008 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro

Second-Order Quantifier Elimination

Foundations, Computational Aspects And Applications

de Andrzej Szalas, Renate A. Schmidt e Dov Gabbay

Propriedade Descrição
ISBN: 9781904987567
Editor: COLLEGE PUBLICATIONS
Data de Lançamento: abril de 2008
Idioma: Inglês
Encadernação: Capa mole
Páginas: 320
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
EAN: 9781904987567