ReP USP - Resultado da busca

Monografia/livro
Programas prolog para processamento de listas e aplicacoes (1993)
Monard, Maria Carolina ; Nicoletti, M C
Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Programas prolog para processamento de listas e aplicacoes. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/f296e135-935b-4500-a4ba-98dff24ea408/nd_07.pdf. Acesso em: 28 nov. 2025. , 1993
APA
Monard, M. C., & Nicoletti, M. C. (1993). Programas prolog para processamento de listas e aplicacoes. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/f296e135-935b-4500-a4ba-98dff24ea408/nd_07.pdf
NLM
Monard MC, Nicoletti MC. Programas prolog para processamento de listas e aplicacoes [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/f296e135-935b-4500-a4ba-98dff24ea408/nd_07.pdf
Vancouver
Monard MC, Nicoletti MC. Programas prolog para processamento de listas e aplicacoes [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/f296e135-935b-4500-a4ba-98dff24ea408/nd_07.pdf
Artigo de jornal
Multitarefa e o ponto forte (1993)
Monard, Maria Carolina ; Nicoletti, M C
Fonte: Folha de São Paulo. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Multitarefa e o ponto forte. Tradução . Folha de São Paulo, São Paulo, 1993. , p. 4. Acesso em: 28 nov. 2025.
APA
Monard, M. C., & Nicoletti, M. C. (1993). Multitarefa e o ponto forte. Folha de São Paulo, p. 4. São Paulo: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Monard MC, Nicoletti MC. Multitarefa e o ponto forte. Folha de São Paulo. 1993 ;4.[citado 2025 nov. 28 ]
Vancouver
Monard MC, Nicoletti MC. Multitarefa e o ponto forte. Folha de São Paulo. 1993 ;4.[citado 2025 nov. 28 ]
Artigo de periodico
Improved prolog implementation of wang's theorem prover algorithm (1993)
Monard, Maria Carolina ; Nicoletti, M C
Fonte: Advances in Modelling & Analysis. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis, v. 25, n. 1 , p. 55-64, 1993Tradução . . Acesso em: 28 nov. 2025.
APA
Monard, M. C., & Nicoletti, M. C. (1993). Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis, 25( 1 ), 55-64.
NLM
Monard MC, Nicoletti MC. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis. 1993 ;25( 1 ): 55-64.[citado 2025 nov. 28 ]
Vancouver
Monard MC, Nicoletti MC. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis. 1993 ;25( 1 ): 55-64.[citado 2025 nov. 28 ]
Trabalho de evento
Feature based design interface for a capp environment (1993)
Rezende, Solange Oliveira ; Rozenfeld, Henrique ; Monard, Maria Carolina
Fonte: Informatica '93. Nome do evento: Congresso International de Informática, Computacion Y Teleinformática. Unidades: ICMC, EESC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REZENDE, Solange Oliveira e ROZENFELD, Henrique e MONARD, Maria Carolina. Feature based design interface for a capp environment. 1993, Anais.. Mendonza: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1993. . Acesso em: 28 nov. 2025.
APA
Rezende, S. O., Rozenfeld, H., & Monard, M. C. (1993). Feature based design interface for a capp environment. In Informatica '93. Mendonza: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Rezende SO, Rozenfeld H, Monard MC. Feature based design interface for a capp environment. Informatica '93. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Rezende SO, Rozenfeld H, Monard MC. Feature based design interface for a capp environment. Informatica '93. 1993 ;[citado 2025 nov. 28 ]
Monografia/livro
Tecnicas avancadas de programacao prolog para tratamento de arvores (1993)
Monard, Maria Carolina ; Nicoletti, M C
Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Tecnicas avancadas de programacao prolog para tratamento de arvores. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/8b49f319-13bd-4137-bdd2-b123aae6e8ce/nd_08.pdf. Acesso em: 28 nov. 2025. , 1993
APA
Monard, M. C., & Nicoletti, M. C. (1993). Tecnicas avancadas de programacao prolog para tratamento de arvores. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/8b49f319-13bd-4137-bdd2-b123aae6e8ce/nd_08.pdf
NLM
Monard MC, Nicoletti MC. Tecnicas avancadas de programacao prolog para tratamento de arvores [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/8b49f319-13bd-4137-bdd2-b123aae6e8ce/nd_08.pdf
Vancouver
Monard MC, Nicoletti MC. Tecnicas avancadas de programacao prolog para tratamento de arvores [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/8b49f319-13bd-4137-bdd2-b123aae6e8ce/nd_08.pdf
Trabalho de evento
Inheritance and recognition in the cummulative typed system for knowledge representation sc (1993)
Aragon, Doris Ferraz de; Evsukoff, A; Monard, Maria Carolina
Fonte: Proceedings. Nome do evento: International Conference of the Chilean Computer Science Society. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAGON, Doris Ferraz de e EVSUKOFF, A e MONARD, Maria Carolina. Inheritance and recognition in the cummulative typed system for knowledge representation sc. 1993, Anais.. Santiago: R Balza, 1993. . Acesso em: 28 nov. 2025.
APA
Aragon, D. F. de, Evsukoff, A., & Monard, M. C. (1993). Inheritance and recognition in the cummulative typed system for knowledge representation sc. In Proceedings. Santiago: R Balza.
NLM
Aragon DF de, Evsukoff A, Monard MC. Inheritance and recognition in the cummulative typed system for knowledge representation sc. Proceedings. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Aragon DF de, Evsukoff A, Monard MC. Inheritance and recognition in the cummulative typed system for knowledge representation sc. Proceedings. 1993 ;[citado 2025 nov. 28 ]
Trabalho de evento
Empirical evaluation of two pruning methods applied to constructive learning of boolean functions (1993)
Nicoletti, M C; Monard, Maria Carolina
Fonte: Informatica'93. Nome do evento: Congresso International de Informática, Computacion Y Teleinformática. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLETTI, M C e MONARD, Maria Carolina. Empirical evaluation of two pruning methods applied to constructive learning of boolean functions. 1993, Anais.. Mendonza: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1993. . Acesso em: 28 nov. 2025.
APA
Nicoletti, M. C., & Monard, M. C. (1993). Empirical evaluation of two pruning methods applied to constructive learning of boolean functions. In Informatica'93. Mendonza: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Nicoletti MC, Monard MC. Empirical evaluation of two pruning methods applied to constructive learning of boolean functions. Informatica'93. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Nicoletti MC, Monard MC. Empirical evaluation of two pruning methods applied to constructive learning of boolean functions. Informatica'93. 1993 ;[citado 2025 nov. 28 ]
Relatorio tecnico
Inverting resolution: plotkin's least general generalization (1993)
Nicoletti, M C; Monard, Maria Carolina
Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLETTI, M C e MONARD, Maria Carolina. Inverting resolution: plotkin's least general generalization. . Sao Carlos: Icmsc-Usp. . Acesso em: 28 nov. 2025. , 1993
APA
Nicoletti, M. C., & Monard, M. C. (1993). Inverting resolution: plotkin's least general generalization. Sao Carlos: Icmsc-Usp.
NLM
Nicoletti MC, Monard MC. Inverting resolution: plotkin's least general generalization. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Nicoletti MC, Monard MC. Inverting resolution: plotkin's least general generalization. 1993 ;[citado 2025 nov. 28 ]
Trabalho de evento
Sistemas baseados em conhecimento conceitos fundamentais e aplicações (1993)
Rezende, Solange Oliveira ; Monard, Maria Carolina
Fonte: Anais. Nome do evento: Jornada Usp-Sucesu-Sp de Informatica e Telecomunicacoes. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REZENDE, Solange Oliveira e MONARD, Maria Carolina. Sistemas baseados em conhecimento conceitos fundamentais e aplicações. 1993, Anais.. São Paulo: USP/Sucesu, 1993. . Acesso em: 28 nov. 2025.
APA
Rezende, S. O., & Monard, M. C. (1993). Sistemas baseados em conhecimento conceitos fundamentais e aplicações. In Anais. São Paulo: USP/Sucesu.
NLM
Rezende SO, Monard MC. Sistemas baseados em conhecimento conceitos fundamentais e aplicações. Anais. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Rezende SO, Monard MC. Sistemas baseados em conhecimento conceitos fundamentais e aplicações. Anais. 1993 ;[citado 2025 nov. 28 ]
Relatorio tecnico
Herbrand interpretation, model and least model within the framework of logic programming (1993)
Nicoletti, M C; Monard, Maria Carolina
Unidade: ICMC
Assunto: MATEMÁTICA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLETTI, M C e MONARD, Maria Carolina. Herbrand interpretation, model and least model within the framework of logic programming. . São Carlos: ICMSC-USP. Disponível em: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf. Acesso em: 28 nov. 2025. , 1993
APA
Nicoletti, M. C., & Monard, M. C. (1993). Herbrand interpretation, model and least model within the framework of logic programming. São Carlos: ICMSC-USP. Recuperado de https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf
NLM
Nicoletti MC, Monard MC. Herbrand interpretation, model and least model within the framework of logic programming [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf
Vancouver
Nicoletti MC, Monard MC. Herbrand interpretation, model and least model within the framework of logic programming [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf
Relatorio tecnico
Learning horn clauses using the ilp systems golem (1993)
Nicoletti, M C; Monard, Maria Carolina
Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLETTI, M C e MONARD, Maria Carolina. Learning horn clauses using the ilp systems golem. . São Carlos: ICMSC-USP. Disponível em: https://repositorio.usp.br/directbitstream/619c2660-bb3c-455f-ae45-047db684b80b/serie_comp_04.pdf. Acesso em: 28 nov. 2025. , 1993
APA
Nicoletti, M. C., & Monard, M. C. (1993). Learning horn clauses using the ilp systems golem. São Carlos: ICMSC-USP. Recuperado de https://repositorio.usp.br/directbitstream/619c2660-bb3c-455f-ae45-047db684b80b/serie_comp_04.pdf
NLM
Nicoletti MC, Monard MC. Learning horn clauses using the ilp systems golem [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/619c2660-bb3c-455f-ae45-047db684b80b/serie_comp_04.pdf
Vancouver
Nicoletti MC, Monard MC. Learning horn clauses using the ilp systems golem [Internet]. 1993 ;[citado 2025 nov. 28 ] Available from: https://repositorio.usp.br/directbitstream/619c2660-bb3c-455f-ae45-047db684b80b/serie_comp_04.pdf
Relatorio tecnico
Programação lógica e fluxo em rede (1993)
Franco, J L; Monard, Maria Carolina
Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANCO, J L e MONARD, Maria Carolina. Programação lógica e fluxo em rede. . São Carlos: ICMSC-USP. . Acesso em: 28 nov. 2025. , 1993
APA
Franco, J. L., & Monard, M. C. (1993). Programação lógica e fluxo em rede. São Carlos: ICMSC-USP.
NLM
Franco JL, Monard MC. Programação lógica e fluxo em rede. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Franco JL, Monard MC. Programação lógica e fluxo em rede. 1993 ;[citado 2025 nov. 28 ]
Trabalho de evento
Role of escription languages in inductive concept learning (1993)
Nicoletti, M C; Monard, Maria Carolina
Nome do evento: Simposio Brasileiro de Automacao Inteligente. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLETTI, M C e MONARD, Maria Carolina. Role of escription languages in inductive concept learning. 1993, Anais.. Rio Claro: Unesp/Gia/Sba, 1993. . Acesso em: 28 nov. 2025.
APA
Nicoletti, M. C., & Monard, M. C. (1993). Role of escription languages in inductive concept learning. In . Rio Claro: Unesp/Gia/Sba.
NLM
Nicoletti MC, Monard MC. Role of escription languages in inductive concept learning. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Nicoletti MC, Monard MC. Role of escription languages in inductive concept learning. 1993 ;[citado 2025 nov. 28 ]
Artigo de jornal
Windows nt e versatil e veio para ficar (1993)
Monard, Maria Carolina ; Nicoletti, M C
Fonte: Folha de São Paulo. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Windows nt e versatil e veio para ficar. Tradução . Folha de São Paulo, São Paulo, 1993. , p. 4. Acesso em: 28 nov. 2025.
APA
Monard, M. C., & Nicoletti, M. C. (1993). Windows nt e versatil e veio para ficar. Folha de São Paulo, p. 4. São Paulo: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Monard MC, Nicoletti MC. Windows nt e versatil e veio para ficar. Folha de São Paulo. 1993 ;4.[citado 2025 nov. 28 ]
Vancouver
Monard MC, Nicoletti MC. Windows nt e versatil e veio para ficar. Folha de São Paulo. 1993 ;4.[citado 2025 nov. 28 ]
Parte de monografia/livro
Módulos de planejamento automático baseados em conhecimento integrados em um ambiente de planejamento do processo (1993)
Rezende, Solange Oliveira ; Rozenfeld, Henrique ; Monard, Maria Carolina
Fonte: Estudos Logicos e Filosoficos. Unidades: ICMC, EESC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REZENDE, Solange Oliveira e ROZENFELD, Henrique e MONARD, Maria Carolina. Módulos de planejamento automático baseados em conhecimento integrados em um ambiente de planejamento do processo. Estudos Logicos e Filosoficos. Tradução . Niteroi: Iltc, 1993. . . Acesso em: 28 nov. 2025.
APA
Rezende, S. O., Rozenfeld, H., & Monard, M. C. (1993). Módulos de planejamento automático baseados em conhecimento integrados em um ambiente de planejamento do processo. In Estudos Logicos e Filosoficos. Niteroi: Iltc.
NLM
Rezende SO, Rozenfeld H, Monard MC. Módulos de planejamento automático baseados em conhecimento integrados em um ambiente de planejamento do processo. In: Estudos Logicos e Filosoficos. Niteroi: Iltc; 1993. [citado 2025 nov. 28 ]
Vancouver
Rezende SO, Rozenfeld H, Monard MC. Módulos de planejamento automático baseados em conhecimento integrados em um ambiente de planejamento do processo. In: Estudos Logicos e Filosoficos. Niteroi: Iltc; 1993. [citado 2025 nov. 28 ]
Trabalho de evento
Implantação de módulos automáticos de planejamento de operações em sistemas capp (1993)
Rezende, Solange Oliveira ; Rozenfeld, Henrique ; Monard, Maria Carolina
Nome do evento: Simposio Brasileiro de Automacao Inteligente. Unidades: ICMC, EESC
Assunto: AUTOMAÇÃO INDUSTRIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REZENDE, Solange Oliveira e ROZENFELD, Henrique e MONARD, Maria Carolina. Implantação de módulos automáticos de planejamento de operações em sistemas capp. 1993, Anais.. Rio Claro: Unesp/Gia/Sba, 1993. . Acesso em: 28 nov. 2025.
APA
Rezende, S. O., Rozenfeld, H., & Monard, M. C. (1993). Implantação de módulos automáticos de planejamento de operações em sistemas capp. In . Rio Claro: Unesp/Gia/Sba.
NLM
Rezende SO, Rozenfeld H, Monard MC. Implantação de módulos automáticos de planejamento de operações em sistemas capp. 1993 ;[citado 2025 nov. 28 ]
Vancouver
Rezende SO, Rozenfeld H, Monard MC. Implantação de módulos automáticos de planejamento de operações em sistemas capp. 1993 ;[citado 2025 nov. 28 ]

Unidades USP

ReP

Filtros

Tipo de material

Autores

Título da fonte

Editora