Le lambda-inferenze induttive: caratterizzazione e proprietà / A. Belcastro, E. Guala
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | Genova : Dipartimento di Matematica, 1997 |
| Year of Publication: | 1997 |
| Language: | ### |
| Series: | Dipartimento di Matematica, Università di Genova
334 |
| Physical Description: | 28 S. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| ac_no: | YW00010575 |
|---|---|
| Hierarchical level: | Monograph |