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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Types in logic programming / edited by Frank Pfenning.
พิมพลักษณ์	Combridge, Mass. : The MIT Press, c1992.
เลขเรียก	005.11 T991 1992
ห้องสมุด	มหาวิทยาลัยทักษิณ

2

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

3

ประเภทสื่อ	Book
ชื่อเรื่อง	The deductive foundations of computer programming / Zohar Manna, Richard Waldinger.
ชื่อผู้แต่ง	Manna, Zohar.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1993.
เลขเรียก	QA76.6 M36 1993,519.7 M282D 1993
ห้องสมุด	มหาวิทยาลัยทักษิณ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

4

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยทักษิณ

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Pl...
พิมพลักษณ์	Cambridge, Maas. : The MIT Press, c1991.
เลขเรียก	006.3 C738 1991
ห้องสมุด	มหาวิทยาลัยทักษิณ

1

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