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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	A beginner's further guide to mathematical logic / Raymond Smullyan.
ชื่อผู้แต่ง	Smullyan, Raymond.
พิมพลักษณ์	Hackensack, NJ : World Scientific, 2017.
เลขเรียก	QA9 S6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

2

ประเภทสื่อ	Book
ชื่อเรื่อง	A tour through mathematical logic / Robert S. Wolf.
ชื่อผู้แต่ง	Wolf, Robert s.
พิมพลักษณ์	Washington, DC : Mathematical Association of America, c2005.
เลขเรียก	QA9 W6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี

3

ประเภทสื่อ	Serial
ชื่อเรื่อง	ACM Transactions on Computational Logic [electronic resource]
พิมพลักษณ์	New York, NY : Association for Computing Machinery, 2000-
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Alan Turing : his work and impact [electronic resource] / edited by S. Barry Cooper and Jan van Leeu...
พิมพลักษณ์	Waltham, MA : Elsevier, 2013.
เลขเรียก	QA29.T8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยบูรพา

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Algebra, logic, and combinatorics [electronic resource] / editors, Shaun Bullett, Tom Fearn, Frank S...
พิมพลักษณ์	New Jersey : World Scientific, [2016]
เลขเรียก	QA155
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Algorithmic combinatorics / Shimon Even.
ชื่อผู้แต่ง	Even, Shimon.
พิมพลักษณ์	New York : Macmillan, c1973.
เลขเรียก	QA164 E9
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Classical groups, derangements, and primes [electronic resource] / Timothy C. Burness.
ชื่อผู้แต่ง	Burness, Timothy c.
พิมพลักษณ์	Cambridge : Cambridge University Press, 2016.
เลขเรียก	QA9
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards.
ชื่อผู้แต่ง	Richards, Tom.
พิมพลักษณ์	Sydney : Addison-Wesley, c1989.
เลขเรียก	QA76.76.E95 R5,006.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยสุโขทัยธรรมาธิราช

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Commonsense reasoning [electronic resource] : an event calculus based approach / Erik T. Mueller.
ชื่อผู้แต่ง	Mueller, Erik t.
พิมพลักษณ์	Amsterdam : Morgan Kaufmann, 2015.
เลขเรียก	Q338.85
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Discreate mathematics in conputer science / Donald F. Stanat and David F. McAllister.
ชื่อผู้แต่ง	Stanat, Donald f.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, 1977.
เลขเรียก	QA39.2 S688,512.1 St784D
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ มหาวิทยาลัยศิลปากร

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Dougla...
ชื่อผู้แต่ง	Ensley, Douglas e.
พิมพลักษณ์	Hoboken, N.J. : Wiley, c2006.
เลขเรียก	QA9.25 E5,511.1 En599D
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเจ้าพระยา มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเจ้าพระยา มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยบูรพา มหาวิทยาลัยมหาสารคาม มหาวิทยาลัยราชภัฏเชียงใหม่ มหาวิทยาลัยราชภัฏสงขลา มหาวิทยาลัยศรีนครินทรวิโรฒ

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of discrete mathematics / Chung Laung Liu.
ชื่อผู้แต่ง	Liu, Chung laung.
พิมพลักษณ์	New York : McGraw-Hill, c1977.
เลขเรียก	QA164 L57
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of the theory of computation / by Harry R. Lewis and Christos H. Papadimitriou.
ชื่อผู้แต่ง	Lewis, Harry r.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1981.
เลขเรียก	QA267 L49,511 Le674E 19
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยศรีนครินทรวิโรฒ

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
ชื่อผู้แต่ง	Lewis, Harry r.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice-Hall International, c1998.
เลขเรียก	QA267 L674 1998,511 L674E 2005
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยนเรศวร

15

ประเภทสื่อ	Book
ชื่อเรื่อง	From Peirce to Skolem [electronic resource] : a neglected chapter in the history of logic / Geraldin...
ชื่อผู้แต่ง	Brady, Geraldine.
พิมพลักษณ์	Amsterdam ; New York : North-Holland/Elsevier Science BV, 2000.
เลขเรียก	QA9
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

1
2
3

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