Criteri di ricerca correnti

Filtri correnti:


Aggiungere filtri:

Utilizza i filtri per perfezionare i risultati della ricerca.

Paginazione
 
   
Prodotto trovati:
TitoloData di pubblicazioneAutoriTipoFile Abstract
1Introducing equational type logic1991SALIBRA, Antonino  ; 2.5 Abstract in Rivista--
2A reduction scema by pre-institution transformations1993SALIBRA, Antonino  ; 2.5 Abstract in Rivista--

Scopri

Data di pubblicazione
Per lingua
Accesso al fulltext