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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Principles of automated theorem proving / David A. Duffy
ชื่อผู้แต่ง	Duffy, David a
พิมพลักษณ์	Chichester : John Wiley, c1991
เลขเรียก	QA76.9.A69 DUF 1991
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated theorem proving : theory and practice / Monty Newborn
ชื่อผู้แต่ง	Newborn, Monty.
พิมพลักษณ์	New York [NY] : Soringer-Verlag, 2000
เลขเรียก	004.015113 N534a
ห้องสมุด	มหาวิทยาลัยธุรกิจบัณฑิตย์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated theorem proving in software engineering / Johann M. Schumann.
ชื่อผู้แต่ง	Schumann, Johann m.
พิมพลักษณ์	Berlin : Springer, c2001.
เลขเรียก	QA76.758 .S38 2001
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Theorem proving by computer / Mark Hall.
ชื่อผู้แต่ง	Hall, Mark.
พิมพลักษณ์	[Chiang Mai? : Chiang Mai University, 1993?]
เลขเรียก	QA76.9.A96 H34 1993
ห้องสมุด	มหาวิทยาลัยศิลปากร

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Theorem proving in higher order logic : 17th international conference, TPHOLS 2004, Park City, Utah...
ชื่อผู้แต่ง	TPHOLs 2004 (2004 : Park City, Utah)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	004.015113 T757T 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

6

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

7

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

8

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

9

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

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
ชื่อผู้แต่ง	Gallier, Jean h.
พิมพลักษณ์	New York : Wiley, c1987.
เลขเรียก	QA76.9.A96 .G35 1987,511.3 Ga162L
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX'96...
ชื่อผู้แต่ง	International workshop, Tableaux'96 (5th : 1996 : Terrasini, Patermo, Italy)
พิมพลักษณ์	Berlin : Springer Verlag, c1996
เลขเรียก	QA76.9.A96 INT 1996
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahm...
พิมพลักษณ์	New York : Springer-Verlag, c1989.
เลขเรียก	621.395 C976
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Symbolic logic and mechanical theorem proving / Chin-Liang Chaug, Richard Char-Tung Lee.
ชื่อผู้แต่ง	Chang, Chin-Liang.
พิมพลักษณ์	Boston : Academic Press, c1973.
เลขเรียก	QA9 .C483 1973
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Deduction systems / Rolf Socher-Ambrosius, Patricia Johann
ชื่อผู้แต่ง	Socher-Ambrosius, Rolf
พิมพลักษณ์	New York : Springer, c1997
เลขเรียก	QA76.9.A96 SOC 1997
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated development of fundamental mathematical theories / by Art Quaife.
ชื่อผู้แต่ง	Quaife, Art.
พิมพลักษณ์	Dordrecht ; Boston : Kluwer Academic, c1992.
เลขเรียก	QA76.9.A96 Q83
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

1
2
3
4

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