Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Uma automacao de logica tempor...
Descripción
Citar
Enviar este por Correo electrónico
Imprimir
Exportar Registro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Exportar a MARC
Exportar a RDF
Exportar a BibTeX
Exportar a RIS
Uma automacao de logica temporal /
Detalles Bibliográficos
Autores principales:
Souza, Luiz Fernando Pereira de
(Autor, Autor/a)
,
Veloso, Sheila Regina Murgel
(Autor/a)
Formato:
Libro
Lenguaje:
Portuguese
Publicado:
Rio de Janeiro :
Universidad Federal do Rio de Janeiro,
1992.
Materias:
PROGRAMACION (COMPUTADORAS ELECTRONICAS)
LOGICA, SIMBOLICA Y MATEMATICA
Existencias
Descripción
Ejemplares similares
Vista Equipo
Descripción
Descripción Física:
[15] hojas : ilustraciones
Ejemplares similares
Logica, programacion e inteligencia artificial.
por: Kowalski, Robert
Publicado: (1986)
Construcción lógica de programas : teoría y problemas resueltos /
por: García Sánchez, Luis
Publicado: (2002)
N-Prolog and equivalence of logic programs /
por: Olivetti, Nicola, et al.
Publicado: (1992)
Iniciación a la lógica
por: Gortari,Eli de
Publicado: (1974)
Elementos de lógica simbólica /
por: Barreiro de Nudler, Telma
Publicado: (1973)
×
Cargando...