Percorrer por editoras 686

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 6-15 de um total de 15 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe, et al.Artigo em ata de conferênciaAcesso aberto
2018Improving the visualization of alloy instancesCouto, Rui; Campos, José C.; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
2022A logic for paraconsistent transition systemsAna Cruz; Alexandre Madeira; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
21-Jun-2016A note on strong normalization in classical natural deductionEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
23-Mar-2023Paraconsistent transition systemsCruz, Ana; Madeira, Alexandre; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A., et al.Artigo em ata de conferênciaAcesso aberto
2011Relating sequent calculi for bi-intuitionistic propositional logicPinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
2019Simulation under arbitrary temporal logic constraintsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2016Validating an approach to formalize use cases with ontologiesCouto, Rui; Ribeiro, António Nestor; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2016Worlds of events: deduction with partial knowledge about causalityHaeri, Seyed Hossein; Van Roy, Peter; Baquero, Carlos, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 6-15 de um total de 15 resultados. < anterior