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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, U...
ชื่อผู้แต่ง	TPHOLs 2002 (2002 : Hampton, VA)
พิมพลักษณ์	Berlin : Springer, 2002.
เลขเรียก	004.015113 T757T 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Mark...
ชื่อผู้แต่ง	Nipkow, Tobias.
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	004.015113 N719I
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX...
ชื่อผู้แต่ง	TABLEAUX 2002 (2002 : Copenhagen)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	006.333 T113A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000...
ชื่อผู้แต่ง	Types 2000 (2000 : Durham, UK)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.131 T991T 2000
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Den...
ชื่อผู้แต่ง	International Conference on Automated Deduction (18th 2002 : Copenhagen, Denmark)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	006.333 I61A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational logic : logic programming and beyond essays in honor of Robert A. Kowalski / Antonis...
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.115 C738
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR ...
ชื่อผู้แต่ง	LPAR 2002 (9th : 2002 : Tbilisi, Georgia)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	006.3 L925L 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1

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