Your search returned 8 results. Subscribe to this search

Not what you expected? Check for suggestions
|
An axiomatic characterization of ensconcement-based contraction [Recurso eletrónico] / Eduardo Fermé, Martín Krevneris, Maurício ReisSet Level: Journal of logic and computation, p. 739–753, 0955-792X (Print) ; 1465-363X (Online), V. 18, n. 5, Oxford University Press, Oxford = Out. 2008Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 004 Jou] (1).

Credibility-limited base revision [Recurso eletrónico] / Marco Garapa, Eduardo Fermé, Maurício D. L. Reis : new classes and their characterizationsSet Level: Journal of artificial intelligence research, p. 1023-1075, 1076 - 9757, V. 69, AI Access Foundation, Califórnia = 2020Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 004 Jou] (1).

Epistemic entrenchment-based multiple contractions [Recurso eletrónico] / Eduardo Fermé, Maurício D. L. ReisSet Level: The review of symbolic logic, p. 460-487, 1755-0203 (Print) ; 1755-0211 (Online), V. 6, n. 3, Cambridge University Press, Cambridge = Set. 2013Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Rev] (1).

Funções teste e funções generalizadas em dimensão 1 [Recurso eletrónico] / Jorge Ferreira... [et al.] : descrição e caracterizaçãoSet Level: Lisboa, 59-75, Boletim da SPM, N. 52, 0872–3672 = Maio 2005, Sociedade Portuguesa de Matemática, 19801Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Bol] (1).

Residual contraction [Recurso eletrónico] / Marco Garapa, Maurício D. L. ReisSet Level: Journal of logic, language and information, p. 255-274, 0925-8531 (Print) ; 1572-9583 (eISSN), V. 29, n. 2, Springer Nature, Switzerland AG = Jun. 2020Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Jou] (1).

Shielded base contraction [Recurso eletrónico] / Marco Garapa, Eduardo Fermé, Maurício D. L. ReisSet Level: Artificial intelligence, p. 186-216, 0004-3702, V. 259, Elsevier B.V, United States = Jun. 2018Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 004 Art] (1).

Studies on brutal contraction and severe withdrawal [Recurso eletrónico] / M. Garapa, Eduardo Fermé, M. D. L. ReisSet Level: Studia logica, p. 331–360, 0039-3215 (Print) ; 1572-8730 (eISSN), V. 105, n. 2, Springer Nature, Switzerland AG = Abr. 2017Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Stu] (1).

System of spheres-based multiple contractions [Recurso eletrónico] / Eduardo Fermé, Maurício D. L. ReisSet Level: Journal of philosophical logic, p. 29–52, 0022-3611 (Print) ; 1573-0433 (eISSN), V. 41, n. 1, Springer Nature, Switzerland AG = Fev. 2012Publication:Availability: Copies available for reference: Biblioteca da Universidade da Madeira[ANL/PP/URL 51 Jou] (1).

Biblioteca da Universidade da Madeira
Telefone (geral): 291705070. Responsável: Doutora Iolanda Silva - email: iolanda.silva@staff.uma.pt; Serviço de Referência: Mestre Hélder Maurício - email: helder.mauricio@staff.uma.pt; Serviço de Gestão Digital: Dr. António Freitas – email: antonio.freitas@staff.uma.pt
Morada: Campus Universitário da Penteada, 9000-390 - Funchal - Madeira

Powered by Koha