Found: 3  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องComputation as logic / Rene lalement ; translated by John Plaice.
ชื่อผู้แต่งLalement, Rene.
พิมพลักษณ์Paris : Masson ; Hemel , Hempstead ; Englewood Cliffs, NJ : Prentice Hall, c1993.
เลขเรียกQA76.63 L3513 1993
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
image
ประเภทสื่อ Book
ชื่อเรื่องConstraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace.
ชื่อผู้แต่งApt, Krzysztof r.
พิมพลักษณ์Cambridge : Cambridge University Press, 2007.
เลขเรียกQA76.612 A6,005.116 Ap639C 2007
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยราชภัฏนครศรีธรรมราช
3
image
ประเภทสื่อ Book
ชื่อเรื่องParallel logic programming / Akikazu Takeuchi.
ชื่อผู้แต่งTakeuchi, Akikazu 1953-.
พิมพลักษณ์New York : John Wiley & Sons, c1992.
เลขเรียกQA76.642 T35 1992
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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