Sfoglia per Serie
The automorphism group of falsum-free product logic
2007-01-01 Panti, Giovanni
Timed Memory in Resource-Bounded Agents
2018-01-01 Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina
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 |
---|---|---|---|
The automorphism group of falsum-free product logic | 1-gen-2007 | Panti, Giovanni | |
Timed Memory in Resource-Bounded Agents | 1-gen-2018 | Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina | |
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