Found: 6  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องAdvanced Logic Pro 7 / David Dvorin.
ชื่อผู้แต่งDvorin, David.
พิมพลักษณ์Berkeley, CA : Peachpit Press, c2005.
เลขเรียกML74.4.L64 D998a 2005,006.5 D988a
ห้องสมุดมหาวิทยาลัยแม่โจ้
มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร
มหาวิทยาลัยนเรศวร
3
image
ประเภทสื่อ Book
ชื่อเรื่องElements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
ชื่อผู้แต่งLewis, Harry r.
พิมพลักษณ์Upper Saddle River, N.J. : Prentice-Hall International, c1998.
เลขเรียกQA267 L674 1998,511 L674E 2005
ห้องสมุดมหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยนเรศวร
4
image
ประเภทสื่อ Book
ชื่อเรื่องFrom logic programming to Prolog / Krzysztof R. Apt.
ชื่อผู้แต่งApt, Krzysztof R.
พิมพลักษณ์London : Prentice Hall, c1997.
เลขเรียกQA76.63 .A67 1997,005.133 A655f
ห้องสมุดมหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
มหาวิทยาลัยธุรกิจบัณฑิตย์
5
image
ประเภทสื่อ Book
ชื่อเรื่องProgramming in PARLOG / Tom Conlon
ชื่อผู้แต่งConlon, Tom
พิมพลักษณ์Wokingham : Addison-Wesley, c1989
เลขเรียกQA76.73.P194 CON 1989,005.13 C752P
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเชียงใหม่
6
image
ประเภทสื่อ Book
ชื่อเรื่องTechniques of prolog programming : with implementation of logical negation and quantified goals / ...
ชื่อผู้แต่งLe van t.
พิมพลักษณ์New York : John Wiley & Sons, 1993.
เลขเรียกQA76.73.P76 L433t 1993,005.133 Le433T
ห้องสมุดมหาวิทยาลัยบูรพา
มหาวิทยาลัยนเรศวร

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