Logic for applications /
Autor principal: | Nerode, Anil (Autor, Autor/a) |
---|---|
Otros Autores: | Shore, Richard A 1946- (Autor/a) |
Formato: | Libro |
Lenguaje: | English |
Publicado: |
New York, New York :
Springer,
c1997.
|
Edición: | 2. edition -- |
Materias: |
Ejemplares similares
-
Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming Rennes, France, 18-20 september, 1984 /
por: Dahl, Verónica, et al.
Publicado: (1985) -
Programación en PROLOG /
por: Closksin, W F
Publicado: (1987) -
Lógica simbólica para informáticos /
por: Iranzo, Pascual Julián, et al.
Publicado: (2005) -
Lógica simbólica para informáticos /
por: Iranzo, Pascual Julián
Publicado: (2004) -
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG /
por: Ledesma, Luis de, et al.
Publicado: (2009)