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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Artificial intelligence : a modern approach / Stuart J. Russell and Peter Norvig.
ชื่อผู้แต่ง	Russell, Stuart J.
พิมพลักษณ์	Harlow : Pearson Education, c2022.
เลขเรียก	Q335 R967a 2022
ห้องสมุด	มหาวิทยาลัยมหิดล มหาวิทยาลัยวลัยลักษณ์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Bridge to abstract mathematics : mathematical proof and structures / Ronald P. Morash.
ชื่อผู้แต่ง	Morash, Ronald p.
พิมพลักษณ์	New York : McGraw-Hill, c1991.
เลขเรียก	QA9 M74 1991,511.3
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยสุโขทัยธรรมาธิราช

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Classical and fuzzy concepts in mathematical logic and applications / Mircea Reghis, Eugene Roventa...
ชื่อผู้แต่ง	Reghis, Mircea.
พิมพลักษณ์	Boca Raton : CRC Press, c1998.
เลขเรียก	QA9 R357 1998
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Computation as logic / Rene lalement ; translated by John Plaice.
ชื่อผู้แต่ง	Lalement, Rene.
พิมพลักษณ์	Paris : Masson ; Hemel , Hempstead ; Englewood Cliffs, NJ : Prentice Hall, c1993.
เลขเรียก	QA76.63 L3513 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of causal inference : foundations and learning algorithms / Jonas Peters, Dominik Janzing, ...
ชื่อผู้แต่ง	Peters, Jonas, 1984-.
พิมพลักษณ์	Cambridge, Massachusetts : The MIT Press, [2017].
เลขเรียก	Q325.5 P48 2017
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to logic / Irving M. Copi, Carl Cohen.
ชื่อผู้แต่ง	Copi, Irving m.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice-Hall, c1998.
เลขเรียก	BC108 C6 1998,160 Co783I 1998 22
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยศรีนครินทรวิโรฒ

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to logic / Irving M. Copi.
ชื่อผู้แต่ง	Copi, Irving m. (irving marmer)
พิมพลักษณ์	New York : Macmillan, c1978.
เลขเรียก	BC108 C6 1978,160 Co
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา ..more มหาวิทยาลัยศิลปากร มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา มหาวิทยาลัยราชภัฏนครศรีธรรมราช มหาวิทยาลัยราชภัฏสกลนคร มหาวิทยาลัยราชภัฏสงขลา มหาวิทยาลัยวลัยลักษณ์

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to mathematical logic / Elliott Mendelson.
ชื่อผู้แต่ง	Mendelson, Elliott.
พิมพลักษณ์	Boca Raton : CRC Press, c2010.
เลขเรียก	QA9 M4 2010
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยนเรศวร

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers.
ชื่อผู้แต่ง	Rodgers, Nancy 1941-.
พิมพลักษณ์	New York : Wiley, 2000.
เลขเรียก	QA9 R7264 2000
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยอุบลราชธานี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwicht...
ชื่อผู้แต่ง	Nato advanced study institute on logic and algebra of specification (1991 : Marktoberdorf, Germany)
พิมพลักษณ์	Berlin ; New York : Springer-Verlag, c1993.
เลขเรียก	QA76.9.M35 N37 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

11

ประเภทสื่อ	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 มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา มหาวิทยาลัยพะเยา มหาวิทยาลัยมหิดล มหาวิทยาลัยราชภัฏเชียงใหม่ มหาวิทยาลัยราชภัฏเทพสตรี มหาวิทยาลัยราชภัฏเลย มหาวิทยาลัยอุบลราชธานี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelbu...
ชื่อผู้แต่ง	Middelburg, Cornelis a.
พิมพลักษณ์	London ; New York : Chapman & Hall, 1993.
เลขเรียก	QA76.7 M53 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for mathematics and computer science / Stanley N. Burris.
ชื่อผู้แต่ง	Burris, Stanley.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice Hall, c1998.
เลขเรียก	QA9 B86 1998,511.3 B971L 1998
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยราชภัฏบ้านสมเด็จเจ้าพระยา

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovak...
พิมพลักษณ์	New York : Springer-Verlag c1992.
เลขเรียก	QA9.A1 L8325 1992
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic, sets, and recursion / Robert L. Causey.
ชื่อผู้แต่ง	Causey, Robert l.
พิมพลักษณ์	Boston : Jones and Bartlett, 1994.
เลขเรียก	QA9 .C347 1994,511.3 C374L
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยวลัยลักษณ์

1
2

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