Pantheon Institutional repository
Collect, preserve and disseminate digital academic production in all areas of knowledge. Comprise the assets of the repository, in addition to theses and dissertations at UFRJ, scientific articles, electronic books, book chapters and papers presented at events for teachers, researchers, administrative staff and students of master's and doctoral degrees.
Politics Terms Guidance FAQ
Browsing by Subject Prolog
Showing results 1 to 7 of 7
Author(s) Title Issue Date Type Benson, S ; Silva, Edmundo Albuquerque de Souza e ; Muntz, Richard R An object oriented methodology for the specification of Markov models 30-Apr-1988 Relatório
Dallolio, Valério Machado ; Souza, Luiz Fernando Pereira de Pronnus Prolog : arquitetura e implementação 31-Mar-1989 Relatório
Diniz, Morganna Carmem ; Silva, Edmundo Albuquerque de Souza e Uma ferramenta para especificação e geração de modelos markovianos 30-Apr-1990 Relatório
Dallolio, Luciano Conrado Machado ; Souza, Luiz Fernando Pereira de Ambiente de execução do Pronus Prolog 30-Jul-1991 Relatório
Dallolio, Luciano Conrado Machado ; Souza, Luiz Fernando Pereira de Ativação dos predefinidos, predefinidos de E/S e controle de fluxo no Pronus Prolog 30-Aug-1991 Relatório
Dallolio, Luciano Conrado Machado ; Souza, Luiz Fernando Pereira de Predefinidos para coleta de soluções e manipulação da base de dados no Pronus Prolog 30-Sep-1991 Relatório
Souza, Luiz Fernando Pereira de ; Veloso, Sheila Regina Murgel Uma automação de lógica temporal 23-Dec-1992 Relatório