Author: Hyung-Jun Kim
Publisher: Australian National University
Keywords: contemporary, socio, religious, life, transformation, islamic, muslims, yogyakarta, village, reformist
Number of Pages: 295
Published: 1996
List price: unknow
ISBN-10: 1920942343
ISBN-13: 9781920942342

Authors:Christian G. Fermüller, Andrei Voronkov,
Publisher: Springer
Keywords: october, indonesia, computer, science, issues, general, yogyakarta, lpar, artificial, programming, intelligence, reasoning, conference, international, logic
Number of Pages: 668
Published: 2010-12-09
List price: $119.00
ISBN-10: 364216241X
ISBN-13: 9783642162411

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.