A. Sernadas

• Colaboraciones en obras colectivas (6)

• Colaboraciones en obras colectivas

  • Combining logics: parchments revisited

    J. Ramos, P. Mateus, A. Sernadas, Carlos Caleiro

    Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, 2001, ISBN 3-540-43159-4, págs. 48-70

    

  • Lógica probabilística y sistemas periciais

    A. Sernadas, J. A. Amaral

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 3, 1987, págs. 325-328

    

  • Análise comparativa das lógicas temporais de especificaçâo

    A. Sernadas, J. Carmo

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 3, 1987, págs. 340-345

    

  • Lógica de eventos para especificaçâo de sistemas

    J. L. Fiadeiro, A. Sernadas

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 3, 1987, págs. 358-363

    

  • Tipos de objetivos abstractos

    A. Sernadas, Cristina Sernadas

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 3, 1987, págs. 452-457

    

  • Teoría algebráica da representaçâo do conhecimento

    A. Sernadas, Cristina Sernadas

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987, Vol. 3, 1987, págs. 458-463

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.