Real quantifier elimination in practice, survey

Author: Dolzmann, Sturm, Weispfenning.
Language: English
Year: 1997
Page: 25
File Type: gz
File Size: 120.7 KiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book