Computational logic logic programming and beyond

SubTitle

logic programming and beyond

Author Statement

Antonis C. Kakas, Fariba Sadri (eds.).

Publication

Springer

Publication Year

c2002

Collation

2 v. ill. 24 cm

Series

Lecture notes in computer science ;Lecture notes in artificial intelligence

Notes

Includes bibliographical references and index

Subject

Kowalski, Robert , Logic programming. , Automatic theorem proving. , Logic programming languages.

ADDED ENTRIES

Kakas, Antonis C. , Sadri, Fariba, , Kowalski, Robert.

Main class

005.1/15

Link To Document