Chargement en cours…

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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Metakides, George, 1945-
Autres auteurs: Nerode, Anil, 1932-, Sinachopoulos, A. (Aneta)
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam ; New York : Elsevier, 1996.
Collection:Studies in computer science and artificial intelligence ; 13.
Sujets:
Accès en ligne:Texto completo
Texto completo

Internet

Texto completo
Texto completo

Error inesperado del formato de respuesta.
Informations d'exemplaires de