Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
Numerical analysis.
View Other Search Results
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Bernays-Schonfinkel-Ramsey Fragment of Separation Logic -- Finding Relevant Templates via the Principal Component Analysis
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: