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

Results
	41.	No cover image available On the conversion of structured specifications to logicprograms, Mohd. Zahran Halim by Mohd. Zahran Halim Universiti Sains Malaysia Series: Report; 10/82 Publication details: Pulau Pinang, Universiti Sains Malaysia, 1980 Availability: No items available.
	42.	P-Prolog: a parallel logic programming language / Rong Yang. by Yang, Rong [author.] Series: Series in Computer Science ; v.9. Publication details: Singapore: World Scientific, 1987 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.P12Y36 3 [00006001991]. Place hold
	43.	Parallel and Distributed Logic Programming [electronic resource] : Towards the Design of a Framework for the Next Generation Database Machines / by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal. by Bhattacharya, Alakananda Konar, Amit Mandal, Ajit K SpringerLink (Online service) Series: Studies in Computational Intelligence ; 24 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	44.	Parallel logic programming techniques / Stephen Taylor ; with a foreword by Ehud Shapiro. by Taylor, Stephen, 1956- [author.] Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.5.T39. Place hold
	45.	Pengaturcaraan logik / Wan Hussain Wan Ishak ...[et al.] by Wan Hussain Wan Ishak Publication details: Petaling Jaya : Pearson/Prentice Hall, 2007 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.P464. Place hold
	46.	Probabilistic Inductive Logic Programming [electronic resource] : Theory and Applications / edited by Luc Raedt ... [et al.]. by Raedt, Luc SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4911 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	47.	Programming languages implementation and logic programming : international workshop PLILP'88, Orleans, France, May 16-18, 1988, proceedings / ed. by P. Deransart, B. Lorho, J. Maluszynski. by International Workshop PLILP'88 (1988 : Orleans) Deransart, Pierre Lorho, Bernard Series: Lecture notes in computer science ; 348. Publication details: Berlin : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA76.7 .I59 1988, ... Place hold
	48.	Programming languages implementation and logic programming / ed. by G. Goos and J. Hartmanis. by International Workshop PLILP'88 (1988 : Orleans) Goos, Gerhad Hartmann, John F Publication details: Berlin : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6 .P7516. Place hold
	49.	Programming logic and design : introductory / Joyce Farrell. by Farrell, Joyce Edition: 3rd ed. Publication details: Boston, Mass. : Course Technology, 2004 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (8)Call number: QA76.63.F378 2004 3, ... PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.F378 2004. Place hold
	50.	PROLOG, children and students/ Edited by John Nichol, Jonathan Briggs and Jackie Dean. by Nichol, Jon Briggs, Jonathan Dean, Jackie Series: Fifth generation computing in education ; .I Publication details: London: Kogan Page, 1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: LB1028.5.P77. Place hold
	51.	Prolog versus you: an introduction to logic programming/ Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman. by Johansson, Anna-Lena, 1951- [author.] Eriksson-Granskog, Agneta, 1957- Edman, Anneli, 1952- Publication details: Berlin: Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76J6413. Place hold
	52.	Quantitative logic and soft computing : proceedings of the QL & SC 2012 / editors Guojun Wang, Bin Zhao, Yongming Li. by Quantitative Logic and Soft Computing Conference (2012 : Xi'an, China) Wang, Guojun Zhao, Bin Li, Yongming Series: Publication details: Singapore : World Scientific, 2012 Online resources: Have the Library purchase this book for the collection Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.63.Q346 2012 3. Place hold
	53.	Recent Advances in Constraints (vol. # 3978) [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Ppers / edited by Brahim Hnich ... [et al.]. by ECCV 2006 Workshop on HCI (2006 : Graz, Austria) Hnich, Brahim SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3978 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	54.	No cover image available Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prolog / Loh Kah Heng @ Low Kah Heng by Loh Kah Heng @ Low Kah Heng Publication details: Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.73.P76L63 1997 3 tesis. Place hold
	55.	No cover image available Satu kaedah bagi mentahkikkan spesifikasi formal Z dengan menggunakan Prologr / Loh Kah Heng @ Low Kah Heng by Loh Kah Heng @ Low Kah Heng [author.] Publisher: Bangi : Perpustakaan Tun Seri Lanang, 2004 Dissertation note: Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 1997 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA76.73.P76L63 2004. Place hold
	56.	Termination proofs for logic programs/ Lutz Plumer. by Plmer, Lutz- [author.] Series: Lecture Notes in Artificial Intelligence ; 446 Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.P58. Place hold
	57.	The transparent prolog machine : visualizing logic programs / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine by Eisenstadt, Marc, 1947- Brayshaw, Mike Paine, Jocelyn Publication details: Oxford : Intellect, 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76E48. Place hold
	58.	Web reasoning and rule systems [electronic resource] : third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 : proceedings / edited by Axel Polleres, Terrance Swift. by RR 2009 (2009 : Chantilly, Va.) Polleres, Axel Swift, Terrance SpringerLink (Online service) Series: Lecture notes in computer science ; 5837 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: RR 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	59.	Web Reasoning and Rule Systems [electronic resource] : First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007: Proceedings / edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by RR 2007 (2007 : Innsbruck, Austria) Marchiori, Massimo de Sainte Marie, Christian Pan, Jeff Z SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4524 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	60.	Why prolog? justifying logic programming for practical applications Gregory L. Lazarev by Lazarev, Gregory L Publication details: Englewood Cliffs, N.J. Prentice-Hall 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.73.P76L38. 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