Parameterized horn clause specifications: Proof theory and correctness
Si trova su / Altri legami
| # | Istituto/Sede | Collocazione | Inventario patrimoniale |
|---|---|---|---|
| Area della ricerca di Genova, Servizio di Documentazione Scientifica | Sede di Genova |
Geca 3.0 - go to homepage
- Esplora
-
Risorse Bibliografiche
Altre Risorse
Navigazione Guidata
Voci di Autorità
-