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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic based program synthesis and transformation [electronic resource] : 13th international sympos...
ชื่อผู้แต่ง	Lopstr (symposium) (13th : 2003 : Uppsala, Sweden)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.63 L69 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, Fr...
ชื่อผู้แต่ง	International conference on logic programming (20th : 2004 : Saint-malo, France)
พิมพลักษณ์	Berlin ; New York : Springer, 2004.
เลขเรียก	QA76.63 I55 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic programming and nonmonotonic reasoning [electronic resource] : 7th international conference,...
ชื่อผู้แต่ง	Lpnmr 2004 (2004 : Fort lauderdale, Fla.)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.63 L74 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

4

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

5

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

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