1
منشور في 2013
جدول المحتويات: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2006
جدول المحتويات: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
احصل على النص الكامل
الكتروني كتاب الكتروني