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

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

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
ชื่อเรื่อง	Advanced logic for applications / Richard E. Grandy.
ชื่อผู้แต่ง	Grandy, Richard E.
พิมพลักษณ์	Dordrecht, Reidel, [1977]
เลขเรียก	511.3 G755A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	An [omega]-order predicate logic with types / Anocha Yimsiriwattana = ตรรกศาสตร์พรีดีเคตอันดับโอเมกา...
ชื่อผู้แต่ง	Anocha yimsiriwattana.
พิมพลักษณ์	1997.
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to G่odel's Theorems / Peter Smith.
ชื่อผู้แต่ง	Smith, Peter, 1935-
พิมพลักษณ์	Cambridge, UK : Cambridge University Press, 2007.
เลขเรียก	511.3 S656I
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to practical formal methods using temporal logic / Michael Fisher
ชื่อผู้แต่ง	Fisher, Michael.
พิมพลักษณ์	Chichester, West Sussex : John Wiley & Sons, c2011.
เลขเรียก	QA267.5.T45 F57 2011
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to symbolic logic / Susanne K. Langer.
ชื่อผู้แต่ง	Langer, Susanne k.
พิมพลักษณ์	New York : Dover, c1967.
เลขเรียก	BC135 L276i 1967
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยมหิดล

7

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to transformational grammars / Emmon Bach.
ชื่อผู้แต่ง	Bach, Emmon w. 1929-
พิมพลักษณ์	New York : Holt, Rinehart and Winston, c1964.
เลขเรียก	P123 B118i 1964
ห้องสมุด	มหาวิทยาลัยมหิดล จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to Wittgenstein's tractatus / Gertrude Elizabeth Margaret Anscombe.
ชื่อผู้แต่ง	Anscombe, Gertrude elizabeth margaret.
พิมพลักษณ์	London : Hutchinson University Library, c1971.
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Applications of bimatrices to some fuzzy and neutrosophic models / W.B. Vasantha Kandasamy, Florent...
ชื่อผู้แต่ง	Kandasamy, W.B. Vasantha.
พิมพลักษณ์	Phoenix, Arizona : HEXIS, 2005.
เลขเรียก	650.0151 K16A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Artificial intelligence and symbolic computation international conference AISC 2000, Madrid, Spain...
ชื่อผู้แต่ง	International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th : 2000 : Madrid, Spain)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	006.3 I61Ai
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, A...
ชื่อผู้แต่ง	International conference on Artificial intelligence and symbolic computation (7th: 2004 : Linz, Austria)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	006.3 I61Ai 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Artificial intelligence, automated reasoning, and symbolic computation : joint International Confere...
ชื่อผู้แต่ง	International Conference on Artificial Intelligence and Symbolic Mathematical Computation (6th : 2002 : Marseille, France)
พิมพลักษณ์	Berlin : Springer, 2002.
เลขเรียก	006.3 Ia61A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Automata logics, and infinite games : a guide to current research / Erich Gradel, Wolfgang Thomas,...
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	004.0151 A939
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, ...
ชื่อผู้แต่ง	International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	516 I61A 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Sept...
ชื่อผู้แต่ง	International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
พิมพลักษณ์	Berlin : Springer, c2001.
เลขเรียก	516 I61A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1
2
3
4
5
6
7

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