N-Prolog and equivalence of logic programs /
Autores principales: | Olivetti, Nicola (Autor, Autor/a), Terracini, Lea (Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Netherlands :
Kluwer Academic,
c1992.
|
Materias: |
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)