Gabbay Dov, Schmidt Renate A., Szalas Andrzej:
Second-Order Quantifier Elimination

Foundations, Computational Aspects And Applications

College Publications (United Kingdom), 2008
Paperback, 320 pages
Size: 234x156 mm
ISBN: 9781904987567
ISBN-10: 1904987567

Our price: £15.50

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Related links:

Dov Gabbay
Renate A. Schmidt
Andrzej Szalas
Artificial intelligence
Applications of computing
Computing and information technology
College Publications

More information from Wikipedia:

Dov Gabbay
Renate A. Schmidt
Andrzej Szalas
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Bacteriology

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |