Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Teses e dissertações | Biblioteca da FCTUNL Depósito 1 | Não Ficção | QA9.59.NUN FCT 35854 (Browse shelf) | 1 | Available | 0011829 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
No cover image available | ||||||||
QA8.4.SOC FCT 45355 Sociologia da matemática | QA9.54.GOU FCT 35092 Proof theory and automated deduction | QA9.58.SWA FCT 22701 Fundamentos computacionais, algoritmos e estrutura de dados | QA9.59.NUN FCT 35854 Modelo orientado para objectos de um servidor de informação | QA9.65.KEI FCT 51564 Logiclab to accompany mathematical logic and computability | QA9.7.ALG FCT 34977 Algebraic model theory | QA9.7.BEL FCT 41293 Models and ultraproducts |
Dissertação apresentada à Universidade dos Açores para obtenção do grau de Doutor em Matemática, especialidade de Teoria da Computação
There are no comments for this item.