Index Catalog // STAX

Start Over

Filtering by: Date 2013 Department, School or Faculty Department of Computer and Information Sciences.

Planning as Quantified Boolean Formulae

Creator:

Cashmore, Michael

Date:

2013

Department, School or Faculty:

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

Creator:

Dagand, Pierre-Évariste.

Date:

2013

Department, School or Faculty:

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

Creator:

Gundry, Adam Michael

Date:

2013

Department, School or Faculty:

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

Creator:

Alshuhri, Sulieman Salem.

Date:

2013

Department, School or Faculty:

Department of Computer and Information Sciences.