Sfoglia per Serie
Using Integer Programming to Search for Counterexamples: A Case Study
2020-01-01 Lancia, G.; Pippia, E.; Rinaldi, F.
UX Concerns in Developing Functional Orthodontic Appliances
2020-01-01 Filippi, Stefano; Grigolato, Luca; Savio, Gianpaolo
Variant-Based Equational Anti-unification
2022-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Using Integer Programming to Search for Counterexamples: A Case Study | 1-gen-2020 | Lancia, G.; Pippia, E.; Rinaldi, F. | |
UX Concerns in Developing Functional Orthodontic Appliances | 1-gen-2020 | Filippi, Stefano; Grigolato, Luca; Savio, Gianpaolo | |
Variant-Based Equational Anti-unification | 1-gen-2022 | Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile