Search

Your search keyword '"Malanovicz, Aline Vieira"' showing total 30 results
Start Over Author "Malanovicz, Aline Vieira"
30 results on '"Malanovicz, Aline Vieira"'

8. Gestão da produção em foco: uma abordagem holística

Author

PINTO, Silvia Helena Boarin, primary, ENGBRUCH, FERNANDA, additional, OLIVERIA, Beatriz Leon de, additional, COSTA, Evelyn Martins, additional, CHANG JUNIOR, João, additional, MORAIS, Tércius Cassius Melo de, additional, LIMA, Márcio Botelho da Fonseca, additional, DESÁ, Sergio Roque, additional, GODINHO FILHO, Moacir, additional, SINGH, Ananda Silva, additional, NORA, Lissandro Dorneles Dalla, additional, SILUK, Julio Cezar Mairesse, additional, GOULART, Luiz Eduardo Takenouchi, additional, OLIVEIRA, Eder Max de, additional, SOEIRO, Ronildo da Costa, additional, OLIVEIRA, Claudinei José de, additional, OLISZESKI, Carlos Alessandro Neiverth, additional, LOURES, Eduardo de Freitas Rocha, additional, COLMENERO, João Carlos, additional, SARAIVA JÚNIOR, Abraão Freires, additional, COSTA, Reinaldo Pacheco da, additional, BORELLA, Margareth Rodrigues de Carvalho, additional, BORELLA, Ilde Luiz, additional, MALANOVICZ, Aline Vieira, additional, BRODBECK, Angela Freitag, additional, MACIEL, Thaís Rodrigues, additional, SALOMÃO, Simone Rocha, additional, ENDO, Carlos Hisao, additional, FERREIRA JUNIOR, Carlos Joel, additional, PEIXOTO, Érica Rosana Silveira, additional, EPAMINONDAS, Luiz Antônio Rezende, additional, NASCIMENTO, Bruno Oliveira, additional, MOREIRA FILHO, Ulysses Martins, additional, COSTA NETO, Pedro Luiz de Oliveira, additional, GEIER, LEANDRO ANTONIO, additional, SZNITOWSKI, Adelice Minetto, additional, PIRAN, Camyla, additional, PACHECO, Luiz Alfredo, additional, VALENTIM, Antão Rodrigo, additional, OLIVEIRA, Ivanir Luiz de, additional, KOVALESKI, João Luiz, additional, PACHECO, Diego Augusto de Jesus, additional, SOUZA, RAFAEL SILVA DE, additional, TRIERWEILLER, Andréa Cristina, additional, WEISE, Andreas Dittmar, additional, ROCHA, Rudimar Antunes da, additional, MONTEIRO, Maria Ieda, additional, SÁ, Manoel Franklin de, additional, BASSANI, Denise Terezinha Lisboa, additional, MACEDO, Fernanda Maria Felício, additional, BOAVA, Diego Luiz Teixeira, additional, MAGALHÃES, Iaísa Helena, additional, SILVA, Amanda Fontes, additional, SILVA, Rodrigo Oliveira da, additional, CASTANHA, Anderson Lopes Belli, additional, GRAEL, Paulo Fernando Fuzer, additional, GONÇALVES, Tiago José Menezes, additional, BELDERRAIN, Mischel Carmen Neyra, additional, RODERO, Gabriel, additional, FREIRE, José Eduardo, additional, SANTOS, Ederson Michelangelo dos, additional, FARIA JUNIOR, Milton, additional, SOUZA, Alexandre de, additional, LOURENZANI, Wagner Luiz, additional, QUEIROZ, Timóteo Ramos, additional, GONÇALO, Cláudio Reis, additional, BORGES, MARIA DE LOURDES, additional, VIGNOCHI, Luciano, additional, HAUBERT, Marcela Pessin, additional, JUNGES, FABIO MIGUEL, additional, PAVAN, Anderson, additional, LIMA, Cleber Marcelo de, additional, TREVISAN, Germano de M M, additional, SENA, THIAGO FRANCISCO DE, additional, FERRAZ JUNIOR, Fabio, additional, ZAGO, Celia Cristina, additional, AYRES, kátia virgínia, additional, DINIZ, Luciene Laranjeira, additional, GOMES, Maria de Lourdes Barreto, additional, SOUZA NETO, Pio Marinheiro de, additional, VASCONCELOS, Anderson Moreira de, additional, SOUZA, Sérgio Ricardo de, additional, BEZERRA, Sinaide Nunes, additional, NEVES, Cesar das, additional, IGNACIO, Anibal Alberto Vilcapoma, additional, ZAMBER, Luciano, additional, PASQUALINI, Fernanda, additional, SPAREMBERGER, Ariosto, additional, BUTTENBENDER, Pedro Luís, additional, VIONE, Leonardo, additional, BOGAZ, Humberto Rodrigues, additional, TOYAMA, Míriam Costa, additional, BRUNELLO, Miriã Regina, additional, LOPES, Ana Lúcia Magri, additional, JUDICE, Valéria Maria Martins, additional, MATTOS, kandy maria da costa, additional, PINTO, Carlos Henrique Catunda, additional, MATTOS, Karen Maria da Costa, additional, MATTOS, KATTY MARIA DA COSTA, additional, BARBOSA JÚNIOR, Isaias de Oliveira, additional, PENA, heriberto wagner amanajas, additional, AMORIM, EDNARDO SAMPAIO, additional, LÉLIS, ELIACY CAVALCANTI, additional, BENEDETTI, Mauricio Henrique, additional, KAMIYA, Igor Kenji, additional, MACHADO, Kaio Cruz, additional, SOUZA, Thiago Francisco de, additional, FORNARI JUNIOR, Celso Carlino Maria, additional, NORÕES, Eduardo César Pereira, additional, VILLAR, Antônio de Mello, additional, OLIVEIRA, Venicio Soares de, additional, MAGALHÃES, Sitonio Gomes de, additional, LIMA JÚNIOR, Joaquim Pinheiro, additional, GRUGINSKIE, Lúcia Adriana dos Santos, additional, ALVES, Luis Henrique, additional, DINIZ, Adriana Gresielly Fabrini, additional, MOURA, Luiz Rodrigo Cunha, additional, MOURA, Luiz Eduardo Leite de, additional, CUNHA, Nina Rosa Silveira, additional, KYRILLOS, Sergio Luiz, additional, MILREU, Francisco José Santos, additional, SACOMANO, José Benedito, additional, SOUZA, José Barrozo de, additional, FUSCO, José Paulo Alves, additional, SILVA, Yuri Laio Teixeira Veras, additional, SILVA, Nathállya Etyenne Figueira, additional, BRESSAN, Flávio, additional, and OLIVEIRA, Danilo Moraes de, additional

Published
2019
Full Text
View/download PDF

9. Engenharia de Produção: produtividade e competitividade

Author

SOUZA, José de, primary, ROYER, Rogério, additional, CREMONESE, Maiquel Sanmartin, additional, CARVALHO, Vianey Santos de, additional, ENDO, Carlos Hisao, additional, FERREIRA JUNIOR, Carlos Joel, additional, PEIXOTO, Érica Rosana Silveira, additional, BRAND, Fabiane Cristina, additional, RIGONI, Eduardo Henrique, additional, VERSCHOORE, Jorge Renato, additional, PIMENTA, Cristie Diego, additional, SILVA, Messias Borges, additional, SALOMON, Valério Antonio Pamplona, additional, DOTTI, Dulcinei, additional, BAGETTI, João Henrique, additional, KALACHE, Nadya, additional, MOREIRA, Saulo Gomes, additional, ARAÚJO, Renata Milani, additional, OLIVEIRA, Bruna Helena Dias de, additional, PRADO, Tainara Pereira do, additional, MODOLO, Angelo Bezerra, additional, PESSE, Rogério, additional, TONINI, Antonio Carlos, additional, SPINOLA, Mauro de Mesquita, additional, WITCZAK, PATRICIA EDUARDA, additional, ZAMBER, Luciano, additional, SPAREMBERGER, Ariosto, additional, MONTEIRO, Nathália Jucá, additional, SIMÕES, Vitor Humberto Ferreira, additional, RAMIRES, Vitor Rahel Martins, additional, ANDRADE, Amanda Amorim, additional, S, Aretha Fernandes Monte de, additional, SOUZA, Jessica Monyk Tiburcio de, additional, SILVA, Kaline Nayara Medeiros da, additional, CELESTINO, Joyce Elanne Mateus, additional, SANTOS, Diana Gonçalves Dos, additional, MAGNO, Cleide Maria Velasco, additional, LUNA NETO, Jose Tavares de, additional, BONFIM, Willame Balbino, additional, SOUZA, Francisco Nilson Oliveira De, additional, LUNA, Tobias Tavares de, additional, SOUSA, Sheysa Alves Ribeiro de, additional, DUARTE, Fernanda, additional, DUARTE, Luiz Carlos da Silva, additional, ECKHARDT, Moacir, additional, AZEVEDO, Aracelly Maria Guerra, additional, AMORIM, Enio Fernandes, additional, FILGUEIRA, Joao Maria, additional, ARAUJO, Renato Samuel Barbosa de, additional, BAQUEIRO, Ana Gabriela Moura, additional, DIAS FILHO, José Maria, additional, BRUNI, Adriano Leal, additional, RIBEIRO, Mariana Almeida, additional, ALMEIDA, Catarina Salume Lusquinhos, additional, SAMPAIO, Priscila Goncalves Vasconcelos, additional, FERNANDES NETO, Andre Pedro, additional, ANTONIO, Caroline Sequeira Paiva, additional, CASTRO, Danielly Ribeiro, additional, ABENSUR, Eder Oliveira, additional, VIEIRA, Katia Luzia Silveira Silva, additional, SILVA, Hanvalgleber Lira e, additional, NEVES, Renato Martins das, additional, DUARTE, André Augusto Azevedo Montenegro, additional, FARIAS JUNIOR, Claudionor Andrade, additional, MOREIRA, Felipe de Sá, additional, OURIQUES, Rodrigo Xavier, additional, MALANOVICZ, Aline Vieira, additional, FREITAS, Maite Vargas de, additional, PORTO, Adriana, additional, COLOMBELLI, Gilmar Luiz, additional, MICHELI, Claudia de Freitas, additional, SOLIMAN, Marlon, additional, ARAÚJO, Adryano Veras, additional, LIMA, Mercelândia Alves dos Santos, additional, SILVA, Yana Pereira da, additional, SOUSA, Luis Henrique dos Santos Silva, additional, MARIA, Robert Cruzoaldo, additional, PINTO, Guilherme Alcantara, additional, ARAUJO, Edilaine Goncalves, additional, PASSOS, Rodrigo Resende, additional, RADIN, Lucelia Aparecida, additional, CORDEIRO, Leonardo Ayres, additional, BARBOSA, LUIZ FRANCISCO, additional, PEREIRA, Naiara Neves, additional, SILVA, Thamara Pollianna Praxedes, additional, BIDINHA, Liamara V, additional, PENAFORTE, João F, additional, COELHO, Antônio S, additional, GONÇALVES, Mirian B, additional, SAMONETTO, Valdemir, additional, CAMPOS, Fernando Celso de, additional, ARGENTA, Cassiana, additional, RAMOS, Thadeu Jose Francisco, additional, GOULARTE, Jeferson Luis Lopes, additional, BUCCELLI, Dalton Oswaldo, additional, COSTA NETO, Pedro Luiz de Oliveira, additional, SILVA, Yuri Laio Teixeira Veras, additional, SILVA, Nathállya Etyenne Figueira, additional, SANCHES, ELTON SCHEMPP, additional, MENDONÇA, FABRICIO MOLICA DE, additional, FEICHAS, SUSANA ARCANGELA QUACCHIA, additional, FONTES, Filipe Machado, additional, ALMEIDA, Glaudiane Lilian de, additional, FREITAS, Welington Kiffer, additional, CARNEIRO, Christian Augusto Guimaraes Vargas, additional, BORA, Sarita Monteiro, additional, MONTEIRO, Mariana Ribeiro, additional, FURLANETTO, Egidio Luiz, additional, MACIEL, Wilson Ravelli Elizeu, additional, OLIVEIRA, Danilo Moraes de, additional, LIMA-FILHO, Dario de Oliveira, additional, and GOULART, Gislayne da Silva, additional

Published
2019
Full Text
View/download PDF

11. Gestão do conhecimento e inovação: volume 7

Author

Sznitowski, Adelice Minetto, primary, Simon, Alexandre Tadeu, additional, Ferreira, Aline de Oliveira, additional, Malanovicz, Aline Vieira, additional, Leite, André de Oliveira, additional, Pereira, Bárbara de Castro Rodrigues Bento, additional, Lima, Camilla Monteiro da Silva, additional, Reginato, Carlos Eduardo Roehe, additional, Ribeiro, Célia Pereira, additional, Toni, Deonir de, additional, Ferraz, Diogo, additional, Alencar, Elane Mendes Nunes de, additional, Lélis, Eliacy Cavalcanti, additional, Souza, Fábia Maria de, additional, Oliveira, Fabíola Cristina Ribeiro de, additional, Kempner-Moreira, Fernanda, additional, Ben, Fernando, additional, Campos, Fernando Celso de, additional, Lengler, Fernando Ramos, additional, Ferreira Filho, Hélio Raymundo, additional, Dias, Ibsem Agrello, additional, Silva, Ivan Menerval da, additional, Souza, João Artur de, additional, Tomazoni, Júlio Caetano, additional, Starck, Keli, additional, Mendonça, Leopoldo, additional, Espinoza, Liliam Marcya de Andrade, additional, Duim, Luana Abizethe de Carvalho, additional, Inglat, Luis Phillipe da Silva, additional, Amaral, Marcelo Gonçalves do, additional, Karolczak, Maria Eloisa, additional, Assumpção, Maria Rita Pontes, additional, Ramos, Nayara Cristina, additional, Graciolli, Odacir Deonisio, additional, Freire, Patricia de Sá, additional, Andrade, Rachel Magalhães de, additional, Ferreira, Rafael Henrique Mainardes, additional, Carvalho, Raymara Martins de Sousa, additional, Aires, Regina Wundrack do Amaral, additional, Junior, Ricardo Mendes, additional, Miyashita, Ricardo, additional, Fernandes, Roberto Fabiano, additional, Silva, Rodrigo Feitosa, additional, Lauria, Rodrigo Linhares, additional, Silva, Saul Renato da, additional, Schütz, Sérgio Murilo, additional, Silva, Sheila Serafim da, additional, Severino, Thaís da Silva Magalhães, additional, Sales, Thaís Sabino Moreira, additional, Sá, Thayrine de Oliveira, additional, Parreira, Thiago José, additional, Pereira, Welington Jose Gomes, additional, and Guedelha, Willen Lima, additional

Published
2018
Full Text
View/download PDF

13. A IMPLANTAÇÃO DO SISTEMA (DES)INTEGRADO: UM DESAFIO DE T.I. PARA A GESTÃO PÚBLICA | THE IMPLEMENTATION OF THE (DIS)INTEGRATED SYSTEM: A I.T. CHALLENGE FOR PUBLIC MANAGEMENT

Author

Malanovicz, Aline Vieira

Subjects
Engenharia de Produção, Gestão e Inovação, Tecnologia de Informação, Gestão de Projetos, Gestão Pública, Implantação de ERP, Fatores Críticos de Sucesso e Insucesso, Lições Aprendidas
Abstract

Este Caso de Ensino descreve o projeto IntegralizaCASA: o executivo Ângelo vê-se frente ao desafio de integrar todos os processos da CASA, uma empresa pública do setor financeiro. Mas, mesmo com apoio da diretoria, enfrenta dificuldades como falta de integração do sistema licitado, inadequação do sistema ao negócio da CASA, falta de treinamentos do pessoal da CASA e falta de conhecimento dos consultores contratados, além de falhas na comunicação interna da equipe da própria CASA. Ângelo se questiona: “Quais decisões deveriam ser tomadas diferentemente? Por quê/Por quais critérios? O que teria acontecido (“e se...”)? Quais opções o projeto IntegralizaCASA e a CASA têm agora? O que é possível aprender deste projeto?” O objetivo deste Caso de Ensino é provocar os leitores a refletir sobre o que fariam na CASA diante dos dilemas do executivo Ângelo: qual seria a melhor forma de realizar a implantação do sistema integrado na empresa? Espera-se que diagnostiquem as origens dos problemas e proponham soluções, de modo que este Caso contribua para proporcionar discussão e compreensão sobre o processo de Gestão de Projetos de TI e para o entendimento de peculiaridades da Gestão Pública no caso.=====================================DOI: 10.18226/23190639.v8n2.08 Aline Vieira Malanovicz*, Universidade Federal do Rio Grande do Sul (UFRGS). Brasil.E-mail: malanovicz@gmail.com Submetido: Fevereiro 2020Aceito: Maio 2020*Contato para Correspondência

Published
2020

14. Direito Romano in Streaming: análise de reflexões discentes

Author

Malanovicz, Aline Vieira

Subjects
Direito Romano, Direito e Cinema, Streaming, Análise discente
Abstract

Entre os temas de pesquisa mais relevantes atualmente, constam as inovações no ensino. No caso do ensino de Direito, a linguagem visual de filmes e séries oferece expressivo auxílio, pois eles abordam temas jurídicos e permitem explorações dos assuntos com detalhes. Este trabalho teve como objetivo explorar a abrangência e profundidade do aprendizado dos estudantes provocados por uma proposta de atividade didática denominada Direito Romano in Streaming. A pesquisa teve natureza exploratória e descritiva, utilizando a coleta documental de cada relatório de aluno, e a análise qualitativa dos dados. Foi possível identificar institutos do Direito das Pessoas relativos a status libertatis, status civitatis, status familiae e sucessões. As principais contribuições deste trabalho são suas aplicações didáticas: apresenta uma aplicação de atividade que privilegia o protagonismo dos estudantes; oferece uma noção do alcance a que seus insights e reflexões podem chegar; e proporciona ao professor ferramentas novas de exemplificação dos institutos do Direito Romano. Acredita-se que a análise de cenas de filmes e séries em busca de regras jurídicas pode ser uma via de ampliação da eficácia do processo de ensino-aprendizagem. Espera-se que esta pesquisa ofereça uma perspectiva a mais para a área de estudo e desenvolvimento do ensino do Direito Romano.

Published
2020

23. Remodelagem do Processo de Desenvolvimento do Produto Cartão

Author

Malanovicz, Aline Vieira and Malanovicz, Aline Vieira

Abstract

Study of successful improvement experiences of processes in organizations can be used as a parameter for the definition of good organizational practices that contribute to managerial learning. Thus, the purpose of this paper is to present a case study (the Card product) to remodel the product development process of a financial institution. This paper proposes a new way of solving an existing problem. The process analysis of the development of this product is in agreement with the Business Process Management (BPM) approach to suggest improvements and to solve the inefficiencies detected in the process. The work of understanding the operation of the product and the analysis of the results of its development process allowed the formal identification of disconnections and opportunities for improvement of the process. Remodeling served to streamline processes, to fix detected disconnections, and to achieve performance goals. A proposal was presented to improve the process with a focus on the hosting system of financial control of the institution. Key users have judged that the alternative offers greater benefits than the way the product was developed and is currently being implemented., O estudo de experiências bem-sucedidas de melhoria de processos em organizações pode servir como parâmetro para a definição de boas práticas organizacionais, que contribuem para o aprendizado gerencial. Assim, o objetivo deste trabalho é apresentar um estudo de caso (o produto Cartão) de remodelagem do processo de desenvolvimento de produtos de uma instituição financeira. Este trabalho propõe uma nova forma de resolver um problema existente. A análise do processo de desenvolvimento deste produto é feita segundo a abordagem Business Process Management (BPM), para propor melhorias e resolver as ineficiências detectadas no processo. O trabalho de compreensão do funcionamento do produto e a análise dos resultados do seu processo de desenvolvimento permitiram a identificação formal de desconexões e de oportunidades de melhoria do processo. A remodelagem serviu para aperfeiçoar processos, sanar desconexões encontradas e alcançar objetivos de desempenho. Foi apresentada uma proposta de melhoria do processo com foco no sistema legado de controle financeiro da instituição. Os usuários-chave do processo avaliaram que a alternativa oferece maiores benefícios do que a forma como o produto foi desenvolvido e está sendo operacionalizado atualmente.

Published
2019

27. Contribuição do modelo de organização de Karl Weick para a compreensão teórica do processo de entendimento compartilhado entre usuários e desenvolvedores sobre as demandas de desenvolvimento de sistemas de informação

Author

Malanovicz, Aline Vieira and Brodbeck, Angela Freitag

Subjects
Weick`s model of organizing as a process, Communication user-developer, Information systems development, Weick, Karl Modelo de organização, Sistemas de informação, Information systems, Shared understanding about demands, Desenvolvimento de sistemas
Abstract

Esta pesquisa tem como objetivo principal investigar a possível contribuição do modelo de organização de Karl Weick (1973) para a compreensão teórica do processo de entendimento compartilhado entre usuários e desenvolvedores sobre as demandas de desenvolvimento de sistemas de informação. A pesquisa se justifica pela atualidade do tema e pela relevância da abordagem. Embora existam muitas pesquisas sobre o tema, o problema de comunicação (misunderstanding) sobre as demandas permanece atual nas empresas. Além disso, as pesquisas existentes adotam abordagens preponderantemente pragmáticas e deixam uma lacuna em relação à adoção de abordagens mais compreensivas. Dentre as teorias adotadas nos estudos organizacionais, o modelo de organização como processo, de Karl Weick (1973), pareceu oferecer potencial explicativo para processos dinâmicos como o entendimento compartilhado sobre as demandas. Esse modelo foi adotado como base conceitual do trabalho, sendo estendido na forma de proposições que expressam sua possível aplicação ao objeto de pesquisa. Essa aplicação foi investigada com uso do método Estudo de Caso único em profundidade com múltiplas fontes de coleta de dados (entrevistas individuais, observação participante e consulta documental) e múltiplas unidades de análise (dez projetos de desenvolvimento ou alteração de sistemas de informação). Os resultados da pesquisa foram provenientes da técnica de Análise de Conteúdo, utilizada para a descrição analítica de cada projeto, a identificação de indícios dos conceitos do modelo teórico e a geração de categorias dos dados empíricos. Esse processo de análise permitiu a verificação da plausibilidade de cada proposição. Com base nessa análise, a consolidação feita por comparação e agrupamento dos projetos, por verificação das transições entre os elementos, e pela identificação de divergências entre o modelo teórico e os dados empíricos permitiu a investigação e o desenvolvimento de uma possível contribuição do modelo de Weick (1973) como alternativa para a compreensão teórica do objeto de pesquisa. Esse resultado também permitiu identificar outras diferentes perspectivas para novas pesquisas baseadas na abordagem adotada (como a perspectiva de serviços, de sensemaking e a de subculturas organizacionais), o que pode configurar uma contribuição acadêmica inovadora e relevante. The present study aims to investigate the potential contribution of Weick’s organizing model (1973) to theoretical comprehension of the shared understanding process between users and developers about demands of information systems. The relevance of this issue rises from the existence of many other investigations about it and the remaining of the misunderstanding problem about demands in practice. A great deal of papers has approached this issue pragmatically, showing an opportunity to researches which adopt comprehensive approaches. One of the most studied organizational theories, namely Weick’s organizing model (1973), potentially offer an alternative point of view to this dynamic process and was adopted as the conceptual basis of this investigation. An extension or application of the model to the research object was developed in form of research propositions. An in-depth case-study was developed with multiple data sources (individual interviews, participant observation and documents consulting) and multiple analysis units (ten information systems development projects). Content Analysis techniques offered the results, including analytical descriptions of each project, identification of clues of model concepts and generation of categories from empirical data. This analytical process allows verifying plausibility of each theoretical proposition. A consolidation was done by comparing projects, verifying transitions among elements, identifying divergences between conceptual model and empirical data. This entire process made possible an investigation and the development of a potential contribution of Weick’s organizing model as an alternative mode for theoretical comprehension of this research object. These results also allow identifying other alternative perspectives for new investigations based on this approach (for example, perspectives of services, sensemaking and organizational subcultures), which can be seen as innovative and relevant academic contributions.

Published
2011

29. Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

Author

Malanovicz, Aline Vieira, Lamb, Luis da Cunha, and Diverio, Tiaraju Asmuz

Subjects
Conhecimento [Lógica], Ciência : Computação [Teoria], Lógica modal
Abstract

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Published
2004

Catalog

Books, media, physical & digital resources
See catalog results