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
N-Prolog and equivalence of lo...
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
N-Prolog and equivalence of logic programs /
Detalles Bibliográficos
Autores principales:
Olivetti, Nicola
(Autor, Autor/a)
,
Terracini, Lea
(Autor/a)
Formato:
Libro
Lenguaje:
English
Publicado:
Netherlands :
Kluwer Academic,
c1992.
Materias:
LOGICA, SIMBOLICA Y MATEMATICA
PROGRAMACION (COMPUTADORAS ELECTRONICAS)
Existencias
Descripción
Ejemplares similares
Vista Equipo
Descripción
Descripción Física:
páginas 253-340
Ejemplares similares
Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974)
Programming in prolog /
por: Clocksin, William F. 1955-, et al.
Publicado: (1984)
A concise introduction to mathematical logic /
por: Rautenberg, Wolfgang 1936-2011
Publicado: (2010)
Logic for problem solving /
por: Kowalski, Robert, et al.
Publicado: (1979)
Uma automacao de logica temporal /
por: Souza, Luiz Fernando Pereira de, et al.
Publicado: (1992)
×
Cargando...