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

Results
	1.	No cover image available Algebraic and logic programming : International Workshop Gaussig, GDR, November 1988 Proceedings / J. Grabowski, P. Lescanne, W. Wechler (Eds.) by Grabowski, J. (Jan) Lescanne, P. (Pierre) Wechler, W. (Wolfgang) Series: Lecture notes in computer science ; v. 343 Publication details: Berlin : Springer-Verlag, 1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.A4583[00008033263]. Place hold
	2.	Anaphora: Analysis, Algorithms and Applications [electronic resource] : 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers / edited by Antonio Branco. by Discourse Anaphora and Anaphor Resolution Colloquium (6th : 2007 : Lagos, Portugal) Branco, Antonio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4410 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	Applications of logic databases / edited by Raghu Ramakrishnan by Ramakrishnan, Raghu Publication details: Boston : Kluwer Academic Publishers, 1995 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.D3A68. Place hold
	4.	The clausal theory of types / D. A. Wolfram by Wolfram, D. A Series: Cambridge tracts in theoretical computer science ; 21 Publication details: Cambridge : Cambridge University Press, 1993 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.W658. Place hold
	5.	No cover image available First order bottom-up defeasible logic reasoner / Mahdi Rohaninezhad. by Rohaninezhad, Mahdi [author.] Producer: 2016 Dissertation note: Thesis (Ph.D) - Universiti Kebangsaan Malaysia, 2016. Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.63.R637 2016 3 tesis. Place hold
	6.	Functional and constraint logic programming [electronic resource] : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers / edited by Santiago Escobar. by WFLP 2009 (2009 : Brasilia, Brazil) Escobar, Santiago SpringerLink (Online service) Series: Lecture notes in computer science ; 5979 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 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
	7.	Functional and logic programming [electronic resource] : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings / Jacques Garrigue, Manuel Hermenegildo (eds.). by Garrigue, Jacques Hermenegildo, Manuel V SpringerLink (Online service) Series: Lecture notes in computer science ; 4989 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	8.	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / edited by Masami Hagiya, Philip Wadler. by Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Susono-shi, Japan) Hagiya, Masami Wadler, Philip SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3945 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	9.	Functional and logic programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / edited by Matthias Blume, Naoki Kobayashi, German Vidal. by Fuji International Symposium on Functional and Logic Programming (10th : 2010 : Sendai-shi (Miyagi-ken, Japan)) Blume, Matthias Kobayashi, Naoki Vidal, German SpringerLink (Online service) Series: Lecture notes in computer science ; 6009 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	10.	A guide to programming logic and design comprehensive / Joyce Farrell by Farrell, Joyce Publication details: Cambridge, Mass. : Course Technology, 1999 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.F376. Place hold
	11.	Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad. by ILP 2006 (2006 : Santiago de Compostela, Spain) Muggleton, Stephen Otero, Ramon Tamaddoni-Nezhad, Alireza SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4455 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	12.	Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / edited by Stefan Kramer, Bernhard Pfahringer. by ILP 2005 (2005 : Bonn, Germany) Kramer, Stefan Pfahringer, Bernhard SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3625 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	13.	Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / edited by Margaret Archibald ... [et al.]. by ILC 2007 (2007 : Cape Town, South Africa) Archibald, Margaret SpringerLink (Online service) Series: Lecture notes in computer science ; 5489 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ILC 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	14.	An introduction to default logic / Philippe Besnard. by Besnard, Philippe Series: Symbolic computation. Artificial intelligence Publication details: Berlin : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q335.B49. Place hold
	15.	Learn by example : matlab app design / Nor Hazlyna Harun, Hamirul'Aini Hambali, Mohamad Ghozali Hassan, Khairah Nazurah Karim. by Nor Hazlyna Harun [author.] Hamirul'Aini Hambali [author.] Mohamad Ghozali Hassan [author.] Khairah Nazurah Karim [author.] Publisher: Sintok, Kedah : Universiti Utara Malaysia, 2017 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.N637. Place hold
	16.	No cover image available LOG(F) : an optimal combination of logic programming, rewriting, and lazy evaluation / Sanjai Narain by Narain, Sanjai, 1957 [author.] Research and Development Corporation [issuing body.] Series: The Rand paper series ; P-7437Publisher: Santa Monica, California : Rand Corporation, .1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: RAND 7 P-7437 1988. Place hold
	17.	Logic, algebra, and computation : International Summer School / directed by F. L. Bauer ... (et al.) ; edited by Friederich L. Bauer by Bauer, F. L. (Friedrich Ludwig), 1924- NATO Advanced Study Institute on Logic, Algebra, and Computation (1989 : Marktoberdorf, Germany) Series: NATO ASI series. Series F, Computer and systems sciences ; no.79 Publication details: Berlin : Springer-Verlag, 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.L618. Place hold
	18.	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
	19.	Logic and prolog / Richard Spencer-Smith by Spencer-Smith, Richard Publication details: New York : Harvester Wheatsheaf, 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.63.S63. Place hold
	20.	Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / edited by Sandro Etalle. by LOPSTR 2004 (2004 : Verona, Italy) Etalle, Sandro SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3573 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.

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