Computation as logic /
Guardado en:
| Autor Principal: | Lalement, René. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Paris : Hemel, Hempstead ; Englewood Cliffs, NJ :
Masson ; Prentice Hall,
c1993.
|
| Series: | Prentice Hall international series in computer science
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Meta-logics and logic programming /
Publicado: (1995) -
Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996) -
Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996) -
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Publicado: (1994) -
The logical basis for computer programming /
por: Manna, Zohar.
Publicado: (1985)
