Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26531| Título: | Hybridisation at work |
| Autor(es): | Neves, Renato Madeira, Alexandre Martins, Manuel A. Barbosa, L. S. |
| Palavras-chave: | Hybrid logic Institutions Reconfigurable systems Hybrid logics |
| Data: | 2013 |
| Editora: | Springer Verlag |
| Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Resumo(s): | This paper presents the encoding of the hybridisation method into the HETS platform. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/26531 |
| ISBN: | 9783642402050 |
| DOI: | 10.1007/978-3-642-40206-7-28 |
| ISSN: | 0302-9743 |
| Versão da editora: | http://dx.doi.org/10.1007/10.1007/978-3-642-40206-7-28 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| NMMB13-calco.pdf | pdf (preprint) | 256,38 kB | Adobe PDF | Ver/Abrir |
