Yazar
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
Format:
Electronic Resources
Alıntı:
Numerical analysis.
View Other Search Results
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: