Cargando…

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...

Descripción completa

Detalles Bibliográficos
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