Your search returned 17 results.

Sort
Results
1.
All about Maude-- a high-performance logical framework [electronic resource] : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.]. by Series: Lecture notes in computer science ; 4350 | LNCS sublibrary. SL 2, Programming and software engineering.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer e-books
Online resources:
Availability: No items available.

2.
3.
4.
5.
6.
Computation Engineering [electronic resource] : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. by
Publication details: Boston, MA : Springer Science+Business Media LLC, 2006
In: Springer e-books
Online resources:
Availability: No items available.

7.
8.
9.
10.
11.
12.
A friendly introduction to mathematical logic / Christopher C. Leary by
Publication details: Upper Saddle River, NJ : Prentice Hall, 2000
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.L63L43.

13.
Logic for computer science and artificial intelligence / Ricardo Caferra. by
Publication details: London : ISTE, 2011
Online resources:
Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.9.L63C334 3.

14.
Logic for learning : learning comprehensive theories from structured data / John W. Lloyd by Series: Cognitive technologies
Publication details: Berlin : Springer, 2003
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.L63L56.

15.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by
Publication details: Cambridge, [England] : Cambridge University Press, 2000
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.L63H88.

16.
17.
Pages

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library