Index Catalog // STAX

Cancellare i filtri

Filtro per: Data 2013 Dipartimento, Scuola o Facoltà Department of Computer and Information Sciences

Planning as Quantified Boolean Formulae

Creatore:

Cashmore, Michael

Data:

2013

Department, School or Faculty:

Department of Computer and Information Sciences
A cosmology of datatypes : reusability and dependent types

Creatore:

Dagand, Pierre-Évariste

Data:

2013

Department, School or Faculty:

Department of Computer and Information Sciences
Type inference, Haskell and dependent types

Creatore:

Gundry, Adam Michael

Data:

2013

Department, School or Faculty:

Department of Computer and Information Sciences
Best practice in a digital library of Arabic manuscripts

Creatore:

Alshuhri, Sulieman Salem

Data:

2013

Department, School or Faculty:

Department of Computer and Information Sciences