Your search returned 8 results.

Results
	1.	Applications of Declarative Programming and Knowledge Management [electronic resource] / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / Dietmar Seipel ... [et al.]. by International Conference on Applications of Declarative Programming and Knowledge Management (15th : 2004 : Potsdam, Germany) Seipel, Dietmar SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3392 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Applications of declarative programming and knowledge management [electronic resource] : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / edited by Dietmar Seipel, Michael Hanus, Armin Wolf. by International Conference on Applications of Declarative Programming and Knowledge Management (17th : 2007 : Wurzburg, Germany) Seipel, Dietmar Hanus, Michael Wolf, Armin SpringerLink (Online service) Series: Lecture notes in computer science ; 5437 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	3.	Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni ... [et al.]. by International Workshop on Declarative Agent Languages and Technologies (3rd : 2005 : Utrecht, Netherlands) Baldoni, Matteo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3904 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	4.	Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss. by International Workshop on Declarative Agent Languages and Technologies (4th : 2006 : Hakodate-shi, Japan) Baldoni, Matteo Endriss, Ulle SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4327 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	5.	Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / edited by Masanobu Umeda. by International Conference on Applications of Declarative Programming and Knowledge Management (16th : 2005 : Fukuoka, Japan) Umeda, Masanobu SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4369 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	Logic and declarative language / Michael Downward by Downward, Michael Publication details: London : Taylor & Francis, 1998 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.7 .B696. Place hold
	7.	Practical aspects of declarative languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings / edited by Manuel Carro, Ricardo Pena. by PADL 2010 (2010 : Madrid, Spain) Carro, Manuel [editor.] Pena, Ricardo [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5937 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: PADL 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	Specification and verification of declarative open interaction models [electronic resource] : a logic-based approach / by Marco Montali. by Montali, Marco SpringerLink (Online service) Series: Lecture notes in business information processing ; 56 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

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