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
Main Author: Metakides, George, 1945-
Corporate Author: ScienceDirect (Online service)
Other Authors: Nerode, Anil, 1932-, Sinachopoulos, A. (Aneta)
Format: eBook
Language:English
Language Notes:English.
Published: Amsterdam ; New York : Elsevier, 1996.
Series:Studies in computer science and artificial intelligence ; 13.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.63 .M473 1996eb
 
Call Number Status Get It
QA76.63 .M473 1996eb Available