Your search returned 4 results.

Sort
Results
1.
Algebraic and proof-theoretic aspects of non-classical logics [electronic resource] : papers in honor of Daniele Mundici on the occasion of his 60th birthday / Stefano Aguzzoli ... [et al.] (eds.). by Series: Lecture notes in computer science ; 4460. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer e-books
Online resources:
Availability: No items available.

2.
Logics in AI : European Workshop JELIA'90, Amsterdam, September 10-14, 1990 proceedings / edited by J. van Eijck. by Series: Lecture notes in computer science ; v. 478.
Publication details: Berlin : Springer-Verlag, 1991
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q334.E985 1990.

3.
4.
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