Your search returned 7 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Advances on belief base dynamics / Marco Paulo Ferreirinha Garapa ; orient. Eduardo Leopoldo Fermé, Maurício Duarte Luís ReisPublication:Funchal : [s.n.], 2017Description: 247 p. : il. ; 30 cm + CD-ROMAvailability:

Advances on belief base dynamics [Recurso eletrónico] / Marco Paulo Ferreirinha Garapa ; orient. Eduardo Leopoldo Fermé, Maurício Duarte Luís ReisPublication:Funchal : [s.n.], 2017Description: 1 CD-ROM + MonogrAvailability: Copies available for reference: Biblioteca da Universidade da Madeira[T/DCD-R 51 GAR Adv] (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).

Lógica modal etiquetada em Isabelle / Marco Paulo Ferreirinha Garapa ; orient. Francisco Miguel Alves Campos de Sousa DionisioPublication:Funchal : Marco Paulo Ferreirinha Garapa, 2006Description: 265 p + Curr. vitaeAvailability: Copies available for loan: Biblioteca da Universidade da Madeira[T/M UMa 51 GAR Lóg] (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), Vol. 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).

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