Results of search for 'ccl=su:"Logic programming"'

Results
	21.	Logic Based Program Synthesis and Transformation (vol. # 3901) [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / edited by Patricia M. Hill. by LOPSTR 2005 (2005 : London, England) SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3901 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	22.	Logic for computer scientists [electronic resource] / by Uwe Schoning. by Schoning, Uwe SpringerLink (Online service) Series: Modern Birkhauser classics Publication details: Boston, MA : Birkhauser Boston, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	23.	Logic for Programming, Aritficial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / edited by Miki Hermann, Andrei Voronkov. by LPAR 2006 (2006 : Phnom Penh, Cambodia) Hermann, Miki Voronkov, Andrei SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4246 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	24.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / edited by Franz Baader, Andrei Voronkov. by LPAR 2004 (2005 : Montevideo, Uruguay) Voronkov, Andrei Series: Lecture Notes in Computer Science ; 3452 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	25.	Logic grammars / Harvey Abramson, Veronica Dahl by Abramson, Harvey [author] Dahl, Veronica, 1950- Series: Symbolic computation Publication details: New York : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.6.A268 3 [00006000200]. Place hold
	26.	Logic programming : proceedings of the Fourtheen International Conference on logic programming / edited by Lee Naish. by Naish, Lee International Conference on Logic Programming (14th : 1997 : Leuven, Belgium) Publication details: Cambridge, Mass. : The MIT Press, 1997 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63. Place hold
	27.	Logic programming'88 : proceedings of the 7th Conference, Tokyo, April 11-14, 1988 / K. Furukawa, H. Tanaka, T. Fujisaki by Furukawa, K Tanaka, H Fujisaki, T Series: Lecture notes in computer science Lecture notes in artificial intelligence ; 383 Publication details: Berlin : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.L63. Place hold
	28.	The logic programming paradigm : a 25-year perspective / K. R. Apt ... [et al.] by Apt, Krzysztof R Marek, Victor W Truszczynski, Mirek Warren, David S Series: Artificial intelligence Publication details: Berlin : Springer, 2000 Availability: Items available for loan: PERPUSTAKAAN HOSPITAL CANSELOR TUANKU MUHRIZ (1)Call number: QA76.63.L634 1999 9HUKM. Place hold
	29.	Logic Programming (vol. # 4079) [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Sandro Etalle, Miroslav Truszczynski. by International Conference on Logic Programming (22nd : 2006 : Seattle, Wash.) Etalle, Sandro Truszczynski, Miroslav SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4079 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	30.	Logic Programming with Prolog [electronic resource] / by Max Bramer. by Bramer, Max SpringerLink (Online service) Publication details: London : Max Bramer, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	31.	Logic with prolog / Peter Gibbins. by Gibbins, Peter Series: Oxford applied mathematics and computing science series Publication details: Oxford : Clarendon Press, 1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76G53. Place hold
	32.	Logical and relational learning [electronic resource] / by Luc De Raedt. by Raedt, Luc de, 1964- SpringerLink (Online service) Series: Cognitive technologies Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook. Place hold
	33.	No cover image available Logical-linguistic model and experiments in document retrieval / by Tengku Mohd Tengku Sembok by Tengku Mohd Tengku Sembok, 1953- Publication details: Glasgow : University of Glasgow, 1989 Dissertation note: Thesis (Doctor of Philosophy) - University of Manchester, 1989 Availability: No items available.
	34.	No cover image available Logical-linguistic model and experiments in document retrieval [microform] / by Tengku Mohd Tengku Sembok. by Tengku Mohd Tengku Sembok, 1953- Publication details: Bangi : Universiti Kebangsaan Malaysia, 1993 Dissertation note: Thesis (Doctor of Philosophy) - University of Manchester, 1989. Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofis tesis QA76.73.L65T45 1993. Place hold
	35.	Logics in AI : European Workshop JELIA'90, Amsterdam, September 10-14, 1990 proceedings / edited by J. van Eijck. by European Workshop JELIA'90 Eijck, J. van (Jan van) 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. Place hold
	36.	Logik dan penggunaannya untuk sistem komputer / Nguyen-Huu-Bong. by Nguyen, Huu Bong Publication details: Pulau Pinang : Universiti Sains Malaysia, 1987 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.6.N48 3 [00006002029]. PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.N48. Place hold
	37.	Mathematical aspects of logic programming semantics / Pascal Hitzler, Anthony Seda. by Hitzler, Pascal Seda, Anthony Series: Chapman & Hall/CRC studies in informatics series Publication details: Boca Raton, FL : CRC Press, 2011 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.H537. Place hold
	38.	An object-oriented approach to programming logic and design / Joyce Farrell by Farrell, Joyce Edition: 2nd ed. Publication details: United States : Course Technology, 2008 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (2)Call number: QA76.63.F3763 2008 3, ... Place hold
	39.	An object-oriented approach to programming logic and design / Joyce Farrell. by Farrell, Joyce Edition: 3rd ed. Publication details: Boston, MA. : Course Technology-Cengage Learning, 2011 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.64.F3763 2011. Place hold
	40.	An object-oriented approach to programming logic and design / Joyce Farrell. by Farrell, Joyce Edition: 4th ed. Publication details: Boston, MA : Course Technology/Cengage Learning, 2013 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.64.F3763 2013 3. Place hold

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Topics

Titles

Your search returned 60 results.

Contact Us

Copyright ©The National University of Malaysia Library