Found: 5  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
2
image
ประเภทสื่อ Book
ชื่อเรื่องIntroduction to programming in Prolog / Danny Crookes.
ชื่อผู้แต่งCrookes, Danny 1956-
พิมพลักษณ์New York : Prentice-Hall, 1988.
เลขเรียกQA76.73.P76 C73i,005.133 C948I
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยราชภัฏสงขลา
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
3
image
ประเภทสื่อ Book
ชื่อเรื่องLogic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelbu...
ชื่อผู้แต่งMiddelburg, Cornelis a.
พิมพลักษณ์London ; New York : Chapman & Hall, 1993.
เลขเรียกQA76.7 M53 1993
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
4
image
ประเภทสื่อ Book
ชื่อเรื่องNatural language understanding / James Allen.
ชื่อผู้แต่งAllen, James.
พิมพลักษณ์Redwood City, Calif. : Benjamin/Cummings, c1995.
เลขเรียกQA76.7 A427n 1995
ห้องสมุดมหาวิทยาลัยมหิดล
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
5
image
ประเภทสื่อ Book
ชื่อเรื่องThe logic of partial information / Areski Nait Abdallah.
ชื่อผู้แต่งNait abdallah, Areski 1950-.
พิมพลักษณ์Berlin ; New York : Springer, c1995.
เลขเรียกQA76.7 N35 1995
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์

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