Author books / Книги автора D. M. Gabbay R. Schmidt A. Szalas » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора D. M. Gabbay R. Schmidt A. Szalas

book Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications

Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications

pdf

Author: D. M. Gabbay R. Schmidt A. Szalas
Language: English
Year: 2008

00

27.01.2024

0

0