Principles of logic and logic programming /
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical comp...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Metakides, George, 1945- |
Otros Autores: | Nerode, Anil, 1932-, Sinachopoulos, A. (Aneta) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York :
Elsevier,
1996.
|
Colección: | Studies in computer science and artificial intelligence ;
13. |
Temas: | |
Acceso en línea: | Texto completo Texto completo |
Ejemplares similares
-
Matrix logic /
por: Stern, August, 1945-
Publicado: (1988) -
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Publicado: (1986) -
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987) -
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Publicado: (1982) -
Elements of mathematical logic (Model theory)
por: Kreisel, Georg, et al.
Publicado: (1967)