Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705))

معرفی کتاب «Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705))» نوشتهٔ Harald Ganzinger (editor), David McAllester (editor), Andrei Voronkov (editor)، منتشرشده توسط نشر Springer Berlin / Heidelberg در سال 1705. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.