Syntax-Guided Quantifier Instantiation (TACAS 2021 Artifact)
| Main Authors: | Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli |
|---|---|
| Format: | info software eJournal |
| Terbitan: |
, 2021
|
| Online Access: |
https://zenodo.org/record/4509301 |
Internet
https://zenodo.org/record/4509301Lokasi
| Koleksi | Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized |
|---|---|
| Gedung | Perpustakaan Universitas PGRI Palembang |
| Institusi | Universitas PGRI Palembang |
| Kota | KOTA PALEMBANG |
| Provinsi | SUMATERA SELATAN |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |