Capa do artigo Second-Order Quantifier Elimination

Second-Order Quantifier Elimination

Foundations, Computational Aspects And Applications

by Andrzej Szalas, Renate A. Schmidt e Dov Gabbay
language: english
Publisher: COLLEGE PUBLICATIONS, April of 2008 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Second-Order Quantifier Elimination

Foundations, Computational Aspects And Applications

by Andrzej Szalas, Renate A. Schmidt e Dov Gabbay

Property Description
ISBN: 9781904987567
Publisher: COLLEGE PUBLICATIONS
Release Date: April of 2008
Language: English
Cover: Softcover
Pages: 320
Format: Book
Categories: Books in English > Computing > Other Applications
EAN: 9781904987567

DOV GABBAY

SEE MORE TITLES BY THIS AUTHOR