Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations, Band 12)
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations, Band 12)
Medimops DE
04-08-2025 13:21:19
averdo DE 
Hugendubel 
