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

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

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

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