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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Beginning logic / E. J. Lemmon
ชื่อผู้แต่ง	Lemmon, E. j. (edward john)
พิมพลักษณ์	Indianapolis : Hackett Pub. Co., c1978
เลขเรียก	QA9.3 L554b 1978
ห้องสมุด	มหาวิทยาลัยมหิดล

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou
ชื่อผู้แต่ง	Lewis, Harry r
พิมพลักษณ์	New Jersey : Prentice-Hall, c1981
เลขเรียก	QA267 LEW 1981
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou
ชื่อผู้แต่ง	Lewis, Harry R
พิมพลักษณ์	New Delhi : PHI Learning Private Limited, c2011
เลขเรียก	QA267 LEW 2011
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt.
พิมพลักษณ์	Dordrecht, Holland : D. Reidel, c1979.
เลขเรียก	401 F723
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Predicate calcalus and program semantics / Edsger W. Dijkstre, Carel S. Scholten.
ชื่อผู้แต่ง	DijkKstra, Edsger W. (Edsger Wybe)
พิมพลักษณ์	New York : Springer-Verlag, c1990.
เลขเรียก	QA9.35 .D55 1990
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Quantifiers : logics, models and computation / edited by Michal Krynicki, Marcin Mostowski, and Lesl...
พิมพลักษณ์	Dordrecht : Kluwer Academic, c1995.
เลขเรียก	QA9.35 Q82 1995
ห้องสมุด	มหาวิทยาลัยศิลปากร

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Subsystems of second order arithmetic / Stephen G. Simpson
ชื่อผู้แต่ง	Simpson, Stephen G
พิมพลักษณ์	Cambridge : Cambridge University Press, c2009
เลขเรียก	QA9.7 SIM 2009
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Technical methods in philosophy / John L. Pollock.
ชื่อผู้แต่ง	Pollock, John L.
พิมพลักษณ์	Boulder, Colo. : Westview Press, c1990.
เลขเรียก	160 P776T
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

9

ประเภทสื่อ	Book
ชื่อเรื่อง	The decision problem : solvable classes of quantificational formulas / B. Dreben & W.D. Goldfarb
ชื่อผู้แต่ง	Dreben, Burton
พิมพลักษณ์	Massachsetts : Addison-Wesley, c1979
เลขเรียก	QA9.35 DRE 1979
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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