Search Results

Search again

Found: 5  Titles

Order by :    Show:   Per Page
Select Page   |   Deselect Page   |   Export saved(0)   |   Clear saved(0)
image
David Makinson on classical methods for non-classical problems Sven Ove Hansson, editor.
Author
Hansson, Sven Ove,
Published
Dordrecht : Springer, c2014.
Call Number
Ebook
Book Loading...
image
Discrete structures, logic, and computability / James L. Hein.
Author
Hein, James L.
Published
Boston : Jones and Bartlett, c1995.
Call Number
QA76 H4d
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
Elementary logics : a procedural perspective / Dov Gabbay.
Author
Gabbay, Dov.
Published
London : Prentice Hall Europe, c1998.
Call Number
QA76 G23e
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
Published
Oxford : Clarendon Press, c1992.
Call Number
QA76 H29
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
image
The essence of logic / John J. Kelly.
Author
Kelly, John J.
Published
London : Prentice Hall, c1997.
Call Number
QA76 K4e
Location
ห้องสมุดสำนักการเรียนรู้ตลอดชีวิตฯ
Book Loading...
Search Tools: Get RSS Feed

About us

WALAI AutoLib is library automation system produced by Informatic Innovation Research Unit (IIRU), Walailak University.

Statistics

 Starting from date  14 Dec 2562

Today
1,165
This month
18,718
This year
496,738
All
2,079,365

Recent News

ห้องสมุดคณะสถาปัตยกรรม ศิลปะและการออกแบบ ปิดบริการชั่วคราว เพื่อปรับปรุงอาคาร

Read 1748

วัน-เวลา เปิดให้บริการ ห้องสมุดคณะสถาปัตยกรรม ศิลปะและการออกแบบ

Read 1485

เปิดบริการให้คำปรึกษาการใช้งานระบบ iThesis (Counseling Services)

Read 822

Read More

Useful Links

Contact Us

1 Chalong Krung, 1 Alley, Lat Krabang, Bangkok 10520
Phone: 02 329 8556
Email: library@kmitl.ac.th
Enter to my library site (KLLC) KMITL Lifelong Learning Center

2020 © WALAI AutoLib. ALL Rights Reserved. | utm20240604

Style Switcher
Theme Colors
Layout Styles
Wide
Boxed