Loading…

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Metakides, George, 1945-
Other Authors: Nerode, Anil, 1932-, Sinachopoulos, A. (Aneta)
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; New York : Elsevier, 1996.
Series:Studies in computer science and artificial intelligence ; 13.
Subjects:
Online Access:Texto completo
Texto completo

Internet

Texto completo
Texto completo

Error inesperado del formato de respuesta.
Holdings details from