หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Location
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
Publish year
2015
Subject
Symbolic and mathematical logic
ปีที่พิมพ์
2015 (2)
ประเภทสื่อ
Book (2)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (2)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (2)
ภาษา
eng (2)
ผลการค้นหา
Found:
2
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Commonsense reasoning [electronic resource] : an event calculus based approach / Erik T. Mueller.
ชื่อผู้แต่ง
Mueller, Erik t.
พิมพลักษณ์
Amsterdam : Morgan Kaufmann, 2015.
เลขเรียก
Q338.85
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Introduction to mathematical proof : a transition to advanced mathematics / Charles E. Roberts, Jr.
ชื่อผู้แต่ง
Roberts, Charles e.
พิมพลักษณ์
Boca Raton, FL : CRC Press, c2015.
เลขเรียก
QA9.54 R6 2015
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา