Computational Logic. Logic Programming and Beyond I
A.C. Kakas, F. Sadri
Spans the whole field of computational logic seen from the point of view of logic programming. Topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.