หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
LOGIC PROGRAMMING (COMPUTER SCIENCE)
Region
ภาคใต้
ภาคกลาง(กรุงเทพและปริมณฑล)
ปีที่พิมพ์
2007 (1)
1993 (1)
1992 (1)
ประเภทสื่อ
Book (3)
ภูมิภาค
ภาคใต้ (3)
ภาคตะวันออกเฉียงเหนือ (1)
ภาคกลาง(กรุงเทพและปริมณฑล) (3)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (2)
มหาวิทยาลัยเทคโนโลยีสุรนารี (1)
มหาวิทยาลัยราชภัฏนครศรีธรรมราช (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (2)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (1)
ภาษา
eng (3)
ผลการค้นหา
Found:
3
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
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
ชื่อเรื่อง
Parallel logic programming / Akikazu Takeuchi.
ชื่อผู้แต่ง
Takeuchi, Akikazu 1953-.
พิมพลักษณ์
New York : John Wiley & Sons, c1992.
เลขเรียก
QA76.642 T35 1992
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา