สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 8 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	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

ประเภทสื่อ	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

ประเภทสื่อ	Book
ชื่อเรื่อง	Constraint solving over multi-valued logics [electronic resource] : application to digital circuits ...
ชื่อผู้แต่ง	Azevedo, Francisco.
พิมพลักษณ์	Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003.
เลขเรียก	QA76.612 A94 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	DLP : a language for distributed logic programming : design, semantics, and implementation / Anton E...
ชื่อผู้แต่ง	Eliëns, Anton
พิมพลักษณ์	Chichester [England] ; New York : J. Wiley, c1992
เลขเรียก	QA76.63 E45 1992
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Foundations of disjunctive logic programming / Jorge Lobo, Jack Minker, Arcot Rajasekar.
ชื่อผู้แต่ง	Lobo, Jorge.
พิมพลักษณ์	Cambridge, Mass. : MIT Press, c1992.
เลขเรียก	005.1 L799F 1992
ห้องสมุด	มหาวิทยาลัยทักษิณ

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Parallel logic programming / Akikazu Takeuchi.
ชื่อผู้แต่ง	Takeuchi, Akikazu 1953-.
พิมพลักษณ์	New York : John Wiley & Sons, c1992.
เลขเรียก	QA76.642 T35 1992
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Recent advances in constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop...
ชื่อผู้แต่ง	Joint ercim/colognet international workshop on constraint solving and constraint logic programming (2003 : Budapest, Hungary)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.612 J65 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Web reasoning and rule systems : 8th International Conference, RR 2014, Athens, Greece, September 15...
ชื่อผู้แต่ง	Rr (conference) (8th : 2014 : Athens, Greece).
พิมพลักษณ์	Cham : Springer, c2014.
เลขเรียก	025.0427 R893W 2014
ห้องสมุด	มหาวิทยาลัยทักษิณ

1

ส่งข้อเสนอแนะ/ปัญหา