1
Material Type:
Outros
Cadernos de Computação
Maria Carolina Monard 1941-
São Carlos ICMC-USP 2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-1482073 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Constructing the extensional representation of an intensional to main theory in inductive logic programming
Maria Carolina Monard 1941- M C Nicoletti
Wainer, J; Carvalho, A Berlin : Springer, 1995 Lectures notes in computer sciences, 991 Advances in Artificial Intelligence
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-894546 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Relatório Técnico
Learning restricted horn clauses some considerations on the ij-determination concepts
M C Nicoletti Maria Carolina Monard 1941-
Sao Carlos Icmsc-Usp 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-863845 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Relatório Técnico
Learning horn clauses using the ilp systems golem
M C Nicoletti Maria Carolina Monard 1941-
São Carlos ICMSC-USP 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(NOTAS SCE N.4 N643l ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Artigo de Jornal
Windows nt e versatil e veio para ficar
Maria Carolina Monard 1941- M C Nicoletti
Sao Paulo p.4, 29 set. 1993 Folha de Sao Paulo. Informatica
São Paulo 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-858957 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Relatório Técnico
Metodo sintatico de prova de teoremas algoritmo de wang
Maria Carolina Monard 1941- M C Nicoletti
Sao Carlos Icmsc-Usp 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-816336 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Relatório Técnico
Herbrand interpretation, model and least model within the framework of logic programming
M C Nicoletti Maria Carolina Monard 1941-
São Carlos ICMSC-USP 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-848273 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Relatório Técnico
Inverting resolution plotkin's least general generalization
M C Nicoletti Maria Carolina Monard 1941-
Sao Carlos Icmsc-Usp 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-839460 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Relatório Técnico
Descrição da implementação do módulo conversor kaeru para transformar dados no formato atributo-valor para o formato relacional do sistema de programação lógica indutiva aleph
Mariza Ferro Maria Carolina Monard 1941-
São Carlos ICMC-USP 2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE n.234 F395di e.1 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Meta interpretadores PROLOG¹
J L Franco Maria Carolina Monard 1941-
Sao Carlos Icmsc-Usp 1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-836463 ) e outros locais(Acessar)
This feature requires javascript