book cover
Type Book
ชื่อเรื่องLogic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
ISBN9783642399916
 9783642399923
พิมพลักษณ์Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
รูปเล่ม1 online resource
หัวเรื่องAlgebra --Data processing []
 Artificial Intelligence (incl. Robotics)
 Artificial intelligence
 Computer Science, general
 Computer Science, general
 Computer Science, general
 Computer science
 Computer Science
 Electronic books
 Mathematical Logic and Formal Languages
 Symbolic and Algebraic Manipulation

1
 มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

126 ถนนประชาอุทิศ แขวงบางมด เขตทุ่งครุ กรุงเทพฯ 10140

Loading items...


© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา