หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Publish year
2015
Subject
Symbolic and mathematical logic
ปีที่พิมพ์
2015 (10)
ประเภทสื่อ
Book (10)
ภูมิภาค
ภาคใต้ (2)
ภาคตะวันออกเฉียงเหนือ (2)
ภาคเหนือ (3)
ภาคกลาง(กรุงเทพและปริมณฑล) (8)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยพะเยา (2)
มหาวิทยาลัยอุบลราชธานี (1)
มหาวิทยาลัยธรรมศาสตร์ (1)
มหาวิทยาลัยทักษิณ (1)
..more
ภาษา
eng (10)
ผลการค้นหา
Found:
10
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
A first course in mathematical Logic and set theory [electronic resource] / Michael L. O'Leary.
ชื่อผู้แต่ง
O'leary, Michael l.
พิมพลักษณ์
Hoboken, New Jersey : Wiley, c2016.
เลขเรียก
QA9.2
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยพะเยา
มหาวิทยาลัยสุโขทัยธรรมาธิราช
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Commonsense reasoning [electronic resource] : an event calculus based approach / Erik T. Mueller.
ชื่อผู้แต่ง
Mueller, Erik t.
พิมพลักษณ์
Amsterdam : Morgan Kaufmann, 2015.
เลขเรียก
Q338.85
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Dag Prawitz on proofs and meaning / Heinrich Wansing, editor.
พิมพลักษณ์
Cham : Springer, c2015.
เลขเรียก
BC71 .D34 2015
ห้องสมุด
มหาวิทยาลัยธรรมศาสตร์
4
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and discrete mathematics [electronic resource] : a concise introduction / Willem Conradie, Val...
ชื่อผู้แต่ง
Conradie, Willem.
พิมพลักษณ์
Chichester, West Sussex, UK : Wiley, 2015.
เลขเรียก
QA9,511.3 C754L 2015
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
..more
×
มหาวิทยาลัยวลัยลักษณ์
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
มหาวิทยาลัยพะเยา
มหาวิทยาลัยมหิดล
มหาวิทยาลัยราชภัฏเชียงใหม่
มหาวิทยาลัยราชภัฏเทพสตรี
มหาวิทยาลัยราชภัฏเลย
มหาวิทยาลัยอุบลราชธานี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and its applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : p...
ชื่อผู้แต่ง
Icla 2015 (6th : 2015 : Mumbai, India)
พิมพลักษณ์
Heidelberg : Springer, c2015.
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic, mathematics, and computer science : modern foundations with practical applications / Yves N...
ชื่อผู้แต่ง
Nievergelt, Yves.
พิมพลักษณ์
New York : Springer, 2015.
เลขเรียก
511.3 N682L 2015
ห้องสมุด
มหาวิทยาลัยราชภัฏเทพสตรี
มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตขอนแก่น
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Posets of ideals in transformation semigroups with invariant sets = โพเซตของไอดีลในกึ่งกรุปการแปลงที...
ชื่อผู้แต่ง
Attapol Praleah
พิมพลักษณ์
Chiang Mai : Graduate School, Chiang Mai University, 2015
เลขเรียก
Th 511.322 A883P
ห้องสมุด
มหาวิทยาลัยเชียงใหม่
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Text analysis pipelines : towards ad-hoc large scale text mining / Henning Wachsmuth.
ชื่อผู้แต่ง
Wachsmuth, Henning.
พิมพลักษณ์
Switzerland : Springer, 23 cm.
เลขเรียก
025.04 W114T 2015
ห้องสมุด
มหาวิทยาลัยทักษิณ
10
ประเภทสื่อ
Book
ชื่อเรื่อง
The foundations of mathematics / Ian Stewart and David Tall.
ชื่อผู้แต่ง
Stewart, Ian.
พิมพลักษณ์
Oxford : Oxford University Press, 2015.
เลขเรียก
QA39.2 S849f 2015,511.3 St852F 2015
ห้องสมุด
มหาวิทยาลัยมหิดล
มหาวิทยาลัยบูรพา
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา